Publication:4963996
From MaRDI portal
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
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)