scientific article
From MaRDI portal
Publication:2760255
zbMath1020.68063MaRDI QIDQ2760255
C. A. Middelburg, Jan A. Bergstra, Yaroslav S. Usenko
Publication date: 30 September 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (4)
Revisiting timing in process algebra. ⋮ Process algebra with strategic interleaving ⋮ Splitting bisimulations and retrospective conditions ⋮ Process algebra for hybrid systems
This page was built for publication:
