Unique parallel decomposition for the -calculus
From MaRDI portal
Publication:5015359
zbMATH Open1478.68193arXiv1608.03128MaRDI QIDQ5015359FDOQ5015359
Authors: Matias David Lee, Bas Luttik 
Publication date: 7 December 2021
Full work available at URL: https://arxiv.org/abs/1608.03128
Recommendations
- On the existence and decidability of unique decompositions of processes in the applied \(\pi\)-calculus
- On unique decomposition of processes in the applied \(\pi\)-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
- The \(\pi\)-calculus: A theory of mobile processes
- On the expressiveness and decidability of higher-order process calculi
- Title not available (Why is that?)
- Title not available (Why is that?)
- Unique decomposition of processes
- A Distribution Law for CCS and a New Congruence Result for the pi-calculus
- CCS with Hennessy's merge has no finite-equational axiomatization
- Decomposition orders -- another generalisation of the fundamental theorem of arithmetic
- A finite equational base for CCS with left merge and communication merge
- Unique parallel decomposition in branching and weak bisimulation semantics
- On the existence and decidability of unique decompositions of processes in the applied \(\pi\)-calculus
Cited In (5)
- 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
- Unique parallel decomposition in branching and weak bisimulation semantics
- On unique decomposition 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)
