Causal time calculus

DOI10.1007/978-3-540-40903-8_21MaRDI QIDQ5717498zbMATH OpenOpenAlexFDO

Authors Franck Pommereau

Publication date 10 January 2006

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

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Timing and causality in process algebra
• Absolute versus relative time in process algebras.
• Petri nets with causal time for system verification
• A compositional model of time Petri nets
• A CALCULUS OF TIMED COMMUNICATING SYSTEMS

Cited in

(10)

• M-nets: a survey
• Timing and causality in process algebra
• Mathematical analysis of time flow
• Causality problem in real-time calculus
• Arrival curves for real-time calculus: the causality problem and its solutions
• CIRCAL and the representation of communication, concurrency, and time
• Efficient reachability graph representation of Petri nets with unbounded counters
• Modeling Timed Concurrent Systems
• Causal measurability in chronological spaces
• An algebraic theory of multiple clocks

This page was built for publication: Causal time calculus

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