Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format
From MaRDI portal
Publication:3605462
DOI10.1007/978-3-642-00255-7_7zbMATH Open1211.68273OpenAlexW1489220439MaRDI QIDQ3605462FDOQ3605462
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
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Kronos: A verification tool for real-time systems
- Uppaal in a nutshell
- Formal Methods for the Design of Real-Time Systems
- Computer Aided Verification
- Perspectives of System Informatics
- A theory of timed automata
- A timed model for communicating sequential processes
- The algebra of timed processes, ATP: Theory and application
- A brief history of Timed CSP
- The tool TINA – Construction of abstract state spaces for petri nets and time petri nets
- Bridging the Gap Between Timed Automata and Bounded Time Petri Nets
- Process algebra with timing: Real time and discrete time
- From ATP to timed graphs and hybrid systems
- Comparison of the Expressiveness of Arc, Place and Transition Time Petri Nets
- Time-based expressivity of time Petri nets for system specification
- A formal definition of time in LOTOS
- Symbolic Simulation-Checking of Dense-Time Automata
- Effective Representation of RT-LOTOS Terms by Finite Time Petri Nets
Cited In (1)
Uses Software
This page was built for publication: Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3605462)
