Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format

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

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Identity-Based Cryptosystems and Quadratic Residuosity

Uses Software

• Romeo
• Kronos
• TINA
• IF-2.0
• Uppaal
• CADP
• SysML
• fc2tools
• mCRL

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