scientific article; zbMATH DE number 7362456

zbMath1464.68257arXiv1408.1454MaRDI QIDQ4995152

Uwe Nestmann, Kirstin Peters, Tsvetelina Yonova-Karbe

Publication date: 23 June 2021

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

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

Replacement freeness: a criterion for separating process calculi ⋮ Observing Success in the Pi-Calculus

This page was built for publication: