An interleaving model for real-time systems

DOI10.1007/BFB0023865MaRDI QIDQ2757804zbMATH OpenFDO

Authors

Publication date 4 December 2001

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

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

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• CCS + Time = an interleaving model for real time systems
• Timing and causality in process algebra
• A CALCULUS OF TIMED COMMUNICATING SYSTEMS
• Timed -calculus
• TIC: a tImed calculus

Cited in

(18)

• TIC: a tImed calculus
• Recursion induction for real-time processes
• Revisiting timing in process algebra.
• Process algebra for hybrid systems
• Congruent weak bisimulation with dense real-time
• Sound reasoning in \textit{tock}-CSP
• Executable rewriting logic semantics of Orc and formal analysis of Orc programs
• Timed -calculus
• Arrival curves for real-time calculus: the causality problem and its solutions
• A model for real-time systems
• CCS + Time = an interleaving model for real time systems
• An algebraic framework for developing and maintaining real-time systems
• Time abstracted bisimulation: Implicit specifications and decidability
• Axiomatising real-timed processes
• Variable binding operators in transition system specifications
• Real time process algebra with time-dependent conditions
• Dormancy-aware timed branching bisimilarity with an application to communication protocol analysis
• A brief history of Timed CSP

This page was built for publication: An interleaving model for real-time systems

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