Unique parallel decomposition for the -calculus

MaRDI QIDQ5015359zbMATH OpenFDO

Authors Matias David Lee, Bas Luttik

Publication date 7 December 2021

Full work available at URL https://arxiv.org/abs/1608.03128, http://eptcs.web.cse.unsw.edu.au/paper.cgi?EXPRESSSOS2016.4

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

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

• scientific article; zbMATH DE number 177854 (Why is no real title available?)
• scientific article; zbMATH DE number 1405656 (Why is no real title available?)
• 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
• 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 \(\pi\)-calculus: A theory of mobile processes
• Unique decomposition of processes
• Unique parallel decomposition in branching and weak bisimulation semantics

Cited in

(5)

• Mathematical Foundations of Computer Science 2003
• On the existence and decidability of unique decompositions 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
• 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)