Formal Modeling and Analysis of Timed Systems

DOI10.1007/b12025zbMath1099.68651OpenAlexW2610516344MaRDI QIDQ5717491

D. A. van Beek, Jacobus E. Rooda, K. L. Man, R. R. H. Schiffelers, Michel Reniers

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

Discrete event control/observation systems (93C65) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (3)

Syntax and consistent equation semantics of hybrid Chi ⋮ Revisiting sequential composition in process calculi ⋮ Hybrid process algebra

This page was built for publication: Formal Modeling and Analysis of Timed Systems