Publication:6134251
From MaRDI portal
DOI10.4230/lipics.concur.2021.3MaRDI QIDQ6134251
Unnamed Author, Pierre Ganty, Unnamed Author, Francesco Ranzato
Publication date: 21 August 2023
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)