scientific article; zbMATH DE number 1479628
From MaRDI portal
zbMath0942.68620MaRDI QIDQ4490742
Publication date: 20 July 2000
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
A complete equational axiomatization for prefix iteration, Duplication of constants in process algebra, SOS formats and meta-theory: 20 years after, A theory of stochastic systems. II: Process algebra
