On the axiomatizability of priority. II

DOI10.1016/J.TCS.2011.02.033MaRDI QIDQ549169zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Luca Aceto, Taolue Chen, Bas Luttik, Jaco van de Pol, Anna Ingolfsdottir

Publication date 7 July 2011

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2011.02.033

zbMATH Keywords

process algebrabisimilarityequational logicnon-finitely based algebraspriority operator

Mathematics Subject Classification ID

Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• On the Axiomatizability of Priority
• On the axiomatisability of priority
• On the axiomatisability of priority. III: Priority strikes again
• Priorities in process algebras
• Priority and abstraction in process algebra

Cites work

• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 3716792 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 4001464 (Why is no real title available?)
• A structural approach to operational semantics
• ALGORITHMIC PROBLEMS IN VARIETIES
• Bisimulation can't be traced
• CCS with priority choice
• Equational specifications, complete term rewriting systems, and computable and semicomputable algebras
• On deciding readiness and failure equivalences for processes
• On the axiomatisability of priority
• Priorities in process algebras
• Priority in process algebra.
• Process algebra for synchronous communication
• The linear time -- branching time spectrum. I: The semantics of concrete, sequential processes.

Cited in

(6)

• On the expressibility of priority
• On the axiomatisability of priority
• On the Axiomatizability of Priority
• 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
• On the axiomatisability of priority. III: Priority strikes again

This page was built for publication: On the axiomatizability of priority. II

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