On fixpoint logics and equivalences for processes with restricted nondeterminism

DOI10.1093/logcom/exv032zbMath1444.03115OpenAlexW2462226377MaRDI QIDQ4612425

Julian Gutierrez

Publication date: 31 January 2019

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/f9f5caf1e8c26ea88840290a600b55f654f46e27

zbMATH Keywords

concurrency theorybisimulation gamesfixpoint logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: On fixpoint logics and equivalences for processes with restricted nondeterminism