CONCUR 2005 – Concurrency Theory

DOI10.1007/11539452zbMATH Open1134.68434OpenAlexW1737342522MaRDI QIDQ5897488FDOQ5897488

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

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

Mathematics Subject Classification ID

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

Cited In (8)

• Causality, Behavioural Equivalences, and the Security of Cyberphysical Systems
• 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
• Characterising spectra of equivalences for event structures, logically
• Team bisimilarity, and its associated modal logic, for BPP nets
• Title not available (Why is that?)

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)