Bisimilarity for the region calculus

DOI10.1007/S10990-004-4868-XzbMath1099.68021OpenAlexW1968241826MaRDI QIDQ2386355

Simon Helsen

Publication date: 22 August 2005

Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10990-004-4868-x

zbMATH Keywords

bisimulationsyntactic equational theory

Mathematics Subject Classification ID

Theory of programming languages (68N15) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: Bisimilarity for the region calculus