The Quest for Equational Axiomatizations of Parallel Composition: Status and Open Problems
DOI10.1016/J.ENTCS.2005.12.076zbMATH Open1316.68082OpenAlexW2168928652MaRDI QIDQ5262950FDOQ5262950
Publication date: 10 July 2015
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2005.12.076
concurrencyprocess algebrabisimulationCCSequational logiccommunication mergeHennessy's mergeleft merge
Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Process algebra for synchronous communication
- Algebraic laws for nondeterminism and concurrency
- Title not available (Why is that?)
- Title not available (Why is that?)
- Modeling concurrency with partial orders
- Title not available (Why is that?)
- The equational theory of pomsets
- Free shuffle algebras in language varieties
- Nonfinite axiomatizability of the equational theory of shuffle
- Axiomatizing shuffle and concatenation in languages
- Axiomatising Finite Concurrent Processes
- Title not available (Why is that?)
- Title not available (Why is that?)
- Languages under concatenation and shuffling
- Nonfinite axiomatizability of shuffle inequalities
- CCS with Hennessy's merge has no finite-equational axiomatization
- Title not available (Why is that?)
- Varieties generated by languages with poset operations
- Title not available (Why is that?)
Cited In (7)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Non-finite axiomatisability results via reductions: CSP parallel composition and CCS restriction
- Shuffles and concatenations in the construction of graphs
- A sound and complete abstraction for reasoning about parallel prefix sums
This page was built for publication: The Quest for Equational Axiomatizations of Parallel Composition: Status and Open Problems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5262950)
