scientific article; zbMATH DE number 5604093

MaRDI QIDQ3395976zbMATH OpenFDO

Authors Luca Aceto

Publication date 15 September 2009

Mathematics Subject Classification ID

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)

Cited in

(6)

• CCS with Hennessy's merge has no finite-equational axiomatization
• A brief history of process algebra
• Logical characterization of fluid equivalences
• 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
• Are two binary operators necessary to finitely axiomatise parallel composition?

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)