Action transducers and timed automata
From MaRDI portal
Publication:1816917
DOI10.1007/BF01211907zbMath0860.68072MaRDI QIDQ1816917
Nancy A. Lynch, Frits W. Vaandrager
Publication date: 1 December 1996
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Related Items
A process algebra of communicating shared resources with dense time and priorities, Unnamed Item, Hybrid I/O automata., A menagerie of timed automata, Revisiting the PAXOS algorithm, Refinement of time
Cites Work
- Higher-level synchronising devices in Meije-SCCS
- A timed model for communicating sequential processes
- Structured operational semantics and bisimulation as a congruence
- Using mappings to prove timing properties
- Liveness in timed and untimed systems
- A theory of timed automata
- From ATP to timed graphs and hybrid systems
- Symbolic model checking for real-time systems
- The algebra of timed processes, ATP: Theory and application
- Real-time system = discrete system + clock variables
- Forward and backward simulations. II: Timing-based systems
- Real time process algebra
- CIRCAL and the representation of communication, concurrency, and time
- Process Algebra
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
