Recommendations
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)