scientific article
From MaRDI portal
Publication:3395976
zbMath1169.68533MaRDI QIDQ3395976
Publication date: 15 September 2009
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (5)
Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition? ⋮ CCS with Hennessy's merge has no finite-equational axiomatization ⋮ A brief history of process algebra ⋮ Logical characterization of fluid equivalences ⋮ The Quest for Equational Axiomatizations of Parallel Composition: Status and Open Problems
This page was built for publication:
