scientific article; zbMATH DE number 7339676

zbMath1459.68145arXiv1208.2751MaRDI QIDQ4986262

Patrick Totzke, Piotr Hofman

Publication date: 27 April 2021

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

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 (1)

Decidability of branching bisimulation on normed commutative context-free processes

This page was built for publication: