CONCUR 2005 – Concurrency Theory

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

Mathematics Subject Classification ID

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

Related Items (5)

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

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