Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format
From MaRDI portal
Publication:3605462
DOI10.1007/978-3-642-00255-7_7zbMath1211.68273OpenAlexW1489220439MaRDI QIDQ3605462
Frédéric Lang, Hubert Garavel, Jan Stöcker
Publication date: 24 February 2009
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://hal.inria.fr/inria-00391024/file/RR-6950.pdf
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A brief history of Timed CSP
- A timed model for communicating sequential processes
- Time-based expressivity of time Petri nets for system specification
- A formal definition of time in LOTOS
- A theory of timed automata
- From ATP to timed graphs and hybrid systems
- The algebra of timed processes, ATP: Theory and application
- Kronos: A verification tool for real-time systems
- Uppaal in a nutshell
- Symbolic Simulation-Checking of Dense-Time Automata
- Bridging the Gap Between Timed Automata and Bounded Time Petri Nets
- Comparison of the Expressiveness of Arc, Place and Transition Time Petri Nets
- Effective Representation of RT-LOTOS Terms by Finite Time Petri Nets
- The tool TINA – Construction of abstract state spaces for petri nets and time petri nets
- Formal Methods for the Design of Real-Time Systems
- Computer Aided Verification
- Perspectives of System Informatics
This page was built for publication: Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format