scientific article; zbMATH DE number 5587282

MaRDI QIDQ5190789zbMATH OpenFDO

Authors Pranav Singh, S. Arun-Kumar

Publication date 27 July 2009

zbMATH Keywords

axiomatizationbisimulationconcurrencyprocess graphsproof-system

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1305004
• Towards general axiomatizations for bisimilarity and trace semantics
• Equational axioms for probabilistic bisimilarity
• Universal axioms for bisimulations
• An axiomatization of bisimulation quantifiers via the \(\mu\)-calculus
• Logical characterisation of parameterised bisimulations
• Bisimilarity for paraconsistent description logics
• scientific article; zbMATH DE number 6287615
• A relation-algebraic theory of bisimulations

Cited in

(2)

• Parameterised bisimulations: some applications
• Universal axioms for bisimulations

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 Q5190789)