On the axiomatisability of priority

DOI10.1017/S0960129507006524MaRDI QIDQ5458057zbMATH OpenOpenAlexFDO

Authors Luca Aceto, Taolue Chen, Anna Ingolfsdottir, Wan Fokkink

Publication date 10 April 2008

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0960129507006524

zbMATH Keywords

bisimulation equivalenceprocess algebra

Mathematics Subject Classification ID

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

Recommendations

• On the Axiomatizability of Priority
• On the axiomatizability of priority. II
• On the axiomatisability of priority. III: Priority strikes again
• Priorities in process algebras
• scientific article; zbMATH DE number 1670867

Cites work

• Algebraic laws for nondeterminism and concurrency
• Bisimilarity is not finitely based over BPA with interrupt
• Bisimulation can't be traced
• CCS with Hennessy's merge has no finite-equational axiomatization
• CCS with priority choice
• Nonaxiomatisability of equivalences over finite state processes
• On the expressive power of CCS
• Priorities in process algebras
• Process algebra for synchronous communication

Cited in

(16)

• Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet
• On the axiomatisability of priority. III: Priority strikes again
• Replacement freeness: a criterion for separating process calculi
• Axiomatizing weak simulation semantics over BCCSP
• Priority Arguments and Epsilon Substitutions
• The Saga of the Axiomatization of Parallel Composition
• Is Observational Congruence Axiomatisable in Equational Horn Logic?
• On the Axiomatizability of Priority
• scientific article; zbMATH DE number 1951598 (Why is no real title available?)
• scientific article; zbMATH DE number 1421069 (Why is no real title available?)
• Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition?
• An independent axiomatisation for free short-circuit logic
• On the axiomatizability of priority. II
• Non-commutative propositional logic with short-circuit evaluation
• The equational theory of prebisimilarity over basic CCS with divergence
• Is observational congruence on \(\mu \)-expressions axiomatisable in equational Horn logic?

This page was built for publication: On the axiomatisability of priority

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