CONCUR 2005 – Concurrency Theory

DOI10.1007/11539452MaRDI QIDQ5897488zbMATH OpenOpenAlexFDO

Authors Sibylle Fröschle, Sławomir Lasota

Publication date 1 November 2006

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11539452

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 1497782
• Publication:4941914
• scientific article; zbMATH DE number 1954392
• Hereditary History-Preserving Bisimilarity: Logics and Automata
• scientific article; zbMATH DE number 7559463
• Minimal transition systems for history-preserving bisimulation
• scientific article; zbMATH DE number 1617304
• On the computational complexity of bisimulation, redux
• Reduction of event structures under history preserving bisimulation
• Bisimulation and coinduction enhancements: a historical perspective

Cited in

(8)

• Non-interleaving bisimulation equivalences on basic parallel processes
• Hereditary History-Preserving Bisimilarity: Logics and Automata
• Minimal transition systems for history-preserving bisimulation
• A study on team bisimulation and H-team bisimulation for BPP nets
• Team bisimilarity, and its associated modal logic, for BPP nets
• Characterising spectra of equivalences for event structures, logically
• Causality, behavioural equivalences, and the security of cyberphysical systems
• scientific article; zbMATH DE number 1954392 (Why is no real title available?)

This page was built for publication: CONCUR 2005 – Concurrency Theory

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