Unique parallel decomposition for the -calculus
From MaRDI portal
Recommendations
- On the existence and decidability of unique decompositions of processes in the applied \(\pi\)-calculus
- On unique decomposition of processes in the applied -calculus
- Unique parallel decomposition in branching and weak bisimulation semantics
- Unique parallel decomposition in branching and weak bisimulation semantics
- scientific article; zbMATH DE number 4777
Cites work
- A Distribution Law for CCS and a New Congruence Result for the pi-calculus
- A finite equational base for CCS with left merge and communication merge
- CCS with Hennessy's merge has no finite-equational axiomatization
- Decomposition orders -- another generalisation of the fundamental theorem of arithmetic
- scientific article; zbMATH DE number 177854 (Why is no real title available?)
- scientific article; zbMATH DE number 1405656 (Why is no real title available?)
- On the existence and decidability of unique decompositions of processes in the applied \(\pi\)-calculus
- On the expressiveness and decidability of higher-order process calculi
- The -calculus: A theory of mobile processes
- Unique decomposition of processes
- Unique parallel decomposition in branching and weak bisimulation semantics
Cited in
(5)- Unique parallel decomposition in branching and weak bisimulation semantics
- On unique decomposition of processes in the applied -calculus
- Mathematical Foundations of Computer Science 2003
- Unique parallel decomposition in branching and weak bisimulation semantics
- On the existence and decidability of unique decompositions of processes in the applied \(\pi\)-calculus
This page was built for publication: Unique parallel decomposition for the \(\pi\)-calculus
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5015359)
