scientific article; zbMATH DE number 5263437

MaRDI QIDQ5457693zbMATH OpenFDO

Authors Dorel Lucanu

Publication date 14 April 2008

zbMATH Keywords

\(CCS\)behavioral bisimulationhidden algebralabeled transition systemsobject behavioral specificationprocess algebra

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 92600
• A note on the characterization of weak bisimulation congruence in CCS
• On the computational complexity of bisimulation, redux
• On convergence-sensitive bisimulation and the embedding of CCS in timed CCS
• Bisimulation and Hidden Algebra
• Synthesising CCS bisimulation using graph rewriting
• Broadcast calculus interpreted in CCS upto bisimulation
• scientific article; zbMATH DE number 938519
• The equational theory of weak complete simulation semantics over BCCSP

Cited in

(4)

• Communicating concurrent objects in hiddenCCS
• Bisimulation and Hidden Algebra
• Integrated Formal Methods
• Verification, Model Checking, and Abstract Interpretation

This page was built for publication:

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