scientific article; zbMATH DE number 5604093

zbMATH Open1169.68533MaRDI QIDQ3395976FDOQ3395976

Authors: Luca Aceto 

Publication date: 15 September 2009

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (5)

• Logical characterization of fluid equivalences
• CCS with Hennessy's merge has no finite-equational axiomatization
• A brief history of process algebra
• Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition?
• The quest for equational axiomatizations of parallel composition: status and open problems

This page was built for publication:

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