scientific article
From MaRDI portal
Publication:2842866
zbMath1270.68179MaRDI QIDQ2842866
Cécile Bui Thanh, Franck Pommereau, Hanna Klaudel
Publication date: 16 August 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104805218
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) 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
Uses Software
Cites Work
- Calculi for synchrony and asynchrony
- M-nets: An algebra of high-level Petri-nets, with an application to the semantics of concurrent programming languages
- Time-based expressivity of time Petri nets for system specification
- A theory of timed automata
- Symbolic model checking for real-time systems
- Model checking using net unfoldings
- Kronos: A verification tool for real-time systems
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item