scientific article; zbMATH DE number 7440181

zbMath1478.68193arXiv1608.03128MaRDI QIDQ5015359

Bas Luttik, Matias David Lee

Publication date: 7 December 2021

Full work available at URL: https://arxiv.org/abs/1608.03128

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the expressiveness and decidability of higher-order process calculi
• 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 decomposition of processes
• CCS with Hennessy's merge has no finite-equational axiomatization
• Decomposition orders -- another generalisation of the fundamental theorem of arithmetic
• 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

This page was built for publication: