Publication:3384916
From MaRDI portal
Irek Ulidowski, Shoji Yuen, James Hoey
Publication date: 17 December 2021
Full work available at URL: https://arxiv.org/abs/1808.08651
68Q55: Semantics in the theory of computing
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)