CONCUR 2005 – Concurrency Theory
From MaRDI portal
Publication:5897488
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
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)