CONCUR 2005 – Concurrency Theory
From MaRDI portal
Publication:5897476
DOI10.1007/11539452zbMath1134.68399OpenAlexW1737342522MaRDI QIDQ5897476
Patricia Bouyer, Franck Cassez, François Laroussinie
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
Modal logic (including the logic of norms) (03B45) Discrete event control/observation systems (93C65) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (2)
Timed modal logics for real-time systems. Specification, verification and control ⋮ On the expressiveness of TPTL and MTL
This page was built for publication: CONCUR 2005 – Concurrency Theory
