On the Axiomatizability of Priority
From MaRDI portal
Publication:3591402
Recommendations
Cited in
(12)- scientific article; zbMATH DE number 1670867 (Why is no real title available?)
- scientific article; zbMATH DE number 1951598 (Why is no real title available?)
- Lifting non-finite axiomatizability results to extensions of process algebras
- scientific article; zbMATH DE number 1421069 (Why is no real title available?)
- Priority Arguments and Epsilon Substitutions
- Is observational congruence on \(\mu \)-expressions axiomatisable in equational Horn logic?
- On the axiomatizability of priority. II
- On the axiomatisability of priority
- Axiomatizing maximal progress and discrete time
- Priority and abstraction in process algebra
- Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition?
- On the axiomatisability of priority. III: Priority strikes again
This page was built for publication: On the Axiomatizability of Priority
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3591402)