Formal Methods for the Design of Real-Time Systems
From MaRDI portal
Publication:5494305
DOI10.1007/b110123zbMath1105.68080MaRDI QIDQ5494305
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
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Comparative trace semantics of time Petri nets, Unifying behavioral equivalences of timed transition systems, Composition methods for constructing characteristic formulas for dense-time models, Testing equivalences of time Petri nets, Comparing Semantics Under Strong Timing of Petri Nets