Publication:5216075
From MaRDI portal
zbMath1433.68257arXiv1410.7466MaRDI QIDQ5216075
Håkon Normann, Cristian Prisacariu, Thomas Troels Hildebrandt
Publication date: 14 February 2020
Full work available at URL: https://arxiv.org/abs/1410.7466
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items