CONCUR 2005 – Concurrency Theory
From MaRDI portal
Publication:5897488
DOI10.1007/11539452zbMath1134.68434OpenAlexW1737342522MaRDI QIDQ5897488
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
Related Items
Causality, Behavioural Equivalences, and the Security of Cyberphysical Systems, Characterising spectra of equivalences for event structures, logically, Team bisimilarity, and its associated modal logic, for BPP nets, A study on team bisimulation and H-team bisimulation for BPP nets, Non-interleaving bisimulation equivalences on basic parallel processes