The Saga of the Axiomatization of Parallel Composition

DOI10.1007/978-3-540-74407-8_2MaRDI QIDQ3525626zbMATH OpenOpenAlexFDO

Authors Luca Aceto, Anna Ingolfsdottir

Publication date 18 September 2008

Published in CONCUR 2007 – Concurrency Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-74407-8_2

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition?
• CCS with Hennessy's merge has no finite-equational axiomatization
• The quest for equational axiomatizations of parallel composition: status and open problems
• On “Axiomatising Finite Concurrent Processes”
• On the axiomatisability of priority

Cited in

(11)

• CCS with Hennessy's merge has no finite-equational axiomatization
• On “Axiomatising Finite Concurrent Processes”
• scientific article; zbMATH DE number 7471686 (Why is no real title available?)
• scientific article; zbMATH DE number 7471704 (Why is no real title available?)
• 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
• Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy's Merge
• A sound and complete abstraction for reasoning about parallel prefix sums
• Sequencing and intermediate acceptance: Axiomatisation and decidability of bisimilarity
• A quantitative study of pure parallel processes
• Lifting non-finite axiomatizability results to extensions of process algebras

This page was built for publication: The Saga of the Axiomatization of Parallel Composition

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