Publication:3721827

zbMath0592.68052MaRDI QIDQ3721827

Paul Caspi, Nicolas Halbwachs

Publication date: 1986

zbMATH Keywords

performance evaluation; formal series; Laplace; transform; timed Petri nets; real time systems

Mathematics Subject Classification ID

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

68N99: Theory of software