Discrete time process algebra and the semantics of SDL

MaRDI QIDQ2760255zbMATH OpenFDO

Authors J. A. Bergstra, C. A. Middelburg, Y. S. Usenko

Publication date 30 September 2003

zbMATH Keywords

discrete time process algebra

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Discrete time process algebra
• The algebra of timed processes, ATP: Theory and application
• Process algebra with timing: Real time and discrete time
• Discrete time process algebra with abstraction
• A process algebra for timed systems

Cited in

(6)

• Revisiting timing in process algebra.
• Process algebra for hybrid systems
• Discrete time process algebra
• Process algebra with strategic interleaving
• Splitting bisimulations and retrospective conditions
• scientific article; zbMATH DE number 1951533 (Why is no real title available?)

This page was built for publication: Discrete time process algebra and the semantics of SDL

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