scientific article; zbMATH DE number 7339675

zbMath1459.68149arXiv1208.2750MaRDI QIDQ4986261

Robert J. van Glabbeek

Publication date: 27 April 2021

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

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)

Related Items (16)

On the validity of encodings of the synchronous in the asynchronous \(\pi\)-calculus ⋮ Coupled similarity: the first 32 years ⋮ Translation of CCS into CSP, correct up to strong bisimulation ⋮ Theory of interaction ⋮ Expressiveness of concurrent intensionality ⋮ Comparing the expressiveness of the \(\pi \)-calculus and CCS ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Replacement freeness: a criterion for separating process calculi ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Ensuring liveness properties of distributed systems: open problems ⋮ On the relative expressiveness of higher-order session processes ⋮ On constructibility and unconstructibility of LTS operators from other LTS operators

This page was built for publication: