Formal Methods for the Design of Real-Time Systems

DOI10.1007/B110123MaRDI QIDQ5494306zbMATH OpenOpenAlexFDO

Authors Jos C. M. Baeten, Michel A. Reniers

Publication date 19 October 2006

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b110123

Mathematics Subject Classification ID

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

Recommendations

• Embedding untimed into timed process algebra: the case for explicit termination
• A process algebra for timed systems
• Embedding untimed into timed process algebra; the case for explicit termination
• Process algebra with timing
• The algebra of timed processes, ATP: Theory and application

Cited in

(24)

• The algebra of timed processes, ATP: Theory and application
• Revisiting timing in process algebra.
• A UTP approach for rTiMo
• Process algebra with timing
• A process algebra for timed systems
• Reconciling real and stochastic time: the need for probabilistic refinement
• Reactive bisimulation semantics for a process algebra with timeouts
• Algebra of timed frames
• scientific article; zbMATH DE number 1696881 (Why is no real title available?)
• TPAP: an algebra of preemptive processes for verifying real-time systems with shared resources
• scientific article; zbMATH DE number 1810494 (Why is no real title available?)
• scientific article; zbMATH DE number 140239 (Why is no real title available?)
• scientific article; zbMATH DE number 1231594 (Why is no real title available?)
• scientific article; zbMATH DE number 497653 (Why is no real title available?)
• Embedding untimed into timed process algebra: the case for explicit termination
• scientific article; zbMATH DE number 1876862 (Why is no real title available?)
• scientific article; zbMATH DE number 2113973 (Why is no real title available?)
• Embedding untimed into timed process algebra; the case for explicit termination
• Formal Methods for the Design of Real-Time Systems
• Extending Timed Process Algebra with Discrete Stochastic Time
• Processes, Terms and Cycles: Steps on the Road to Infinity
• Modelling mutual exclusion in a process algebra with time-outs
• A timed calculus for wireless systems
• Duplication of constants in process algebra

Describes a project that uses

Uses Software

• Uppaal

This page was built for publication: Formal Methods for the Design of Real-Time Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5494306)