scientific article; zbMATH DE number 7315074

zbMath1455.68117arXiv1011.6430MaRDI QIDQ4963996

Francesco Tiezzi, Federico Banti, Rosario Pugliese

Publication date: 24 February 2021

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

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)

Replacement freeness: a criterion for separating process calculi

This page was built for publication: