Bisimilarity for the region calculus

DOI10.1007/S10990-004-4868-XMaRDI QIDQ2386355zbMATH OpenOpenAlexFDO

Authors 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) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Syntactic type soundness for the region calculus
• Syntactic type soundness results for the region calculus
• Stratified operational semantics for safety and correctness of the region calculus
• Region analysis and a π-calculus with groups
• scientific article; zbMATH DE number 1759392

Cited in

(4)

• Region analysis and a π-calculus with groups
• Syntactic type soundness results for the region calculus
• Syntactic type soundness for the region calculus
• scientific article; zbMATH DE number 1759392 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2386355)