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

process algebrabisimulation equivalence

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)

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

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)