Modeling Timed Concurrent Systems

DOI10.1007/11817949_1zbMath1151.68543OpenAlexW1591459546MaRDI QIDQ5756605

No author found.

Publication date: 4 September 2007

Published in: CONCUR 2006 – Concurrency Theory (Search for Journal in Brave)

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

Mathematics Subject Classification ID

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

Related Items

Verifying hierarchical Ptolemy II discrete-event models using real-time maude ⋮ CPO semantics of timed interactive actor networks ⋮ A temporal logic for micro- and macro-step-based real-time systems: foundations and applications ⋮ The fixed-point theory of strictly causal functions ⋮ A semantic model for interacting cyber-physical systems ⋮ A modular formal semantics for Ptolemy