Bisimilarity for the region calculus

DOI10.1007/S10990-004-4868-XzbMATH Open1099.68021OpenAlexW1968241826MaRDI QIDQ2386355FDOQ2386355

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

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

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)

Cited In (4)

• Syntactic type soundness results for the region calculus
• Title not available (Why is that?)
• Syntactic type soundness for the region calculus
• Region analysis and a π-calculus with groups

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)