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

DOI10.1007/978-3-642-00255-7_7MaRDI QIDQ3605462zbMATH OpenOpenAlexFDO

Authors Jan Stöcker, Frédéric Lang, Hubert Garavel

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)

Recommendations

• A formal design language for real-time systems with data
• scientific article; zbMATH DE number 5499354
• scientific article; zbMATH DE number 1973989
• Correct Hardware Design and Verification Methods
• scientific article; zbMATH DE number 176728

Cites work

• scientific article; zbMATH DE number 140239 (Why is no real title available?)
• scientific article; zbMATH DE number 176736 (Why is no real title available?)
• scientific article; zbMATH DE number 1973989 (Why is no real title available?)
• scientific article; zbMATH DE number 2059569 (Why is no real title available?)
• scientific article; zbMATH DE number 2140431 (Why is no real title available?)
• scientific article; zbMATH DE number 2087557 (Why is no real title available?)
• scientific article; zbMATH DE number 1418456 (Why is no real title available?)
• A brief history of Timed CSP
• A formal definition of time in LOTOS
• A theory of timed automata
• A timed model for communicating sequential processes
• Bridging the Gap Between Timed Automata and Bounded Time Petri Nets
• Comparison of the Expressiveness of Arc, Place and Transition Time Petri Nets
• Computer Aided Verification
• Effective Representation of RT-LOTOS Terms by Finite Time Petri Nets
• Formal Methods for the Design of Real-Time Systems
• From ATP to timed graphs and hybrid systems
• Kronos: A verification tool for real-time systems
• Perspectives of System Informatics
• Process algebra with timing: Real time and discrete time
• Symbolic Simulation-Checking of Dense-Time Automata
• The algebra of timed processes, ATP: Theory and application
• The tool TINA – Construction of abstract state spaces for petri nets and time petri nets
• Time-based expressivity of time Petri nets for system specification
• Uppaal in a nutshell

Cited in

(1)

• Identity-Based Cryptosystems and Quadratic Residuosity

Describes a project that uses

Uses Software

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

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)