scientific article; zbMATH DE number 7308363
From MaRDI portal
Publication:5150130
zbMath1454.68072MaRDI QIDQ5150130
Giacoma Valentina Monreale, Fabio Gadducci, Filippo Bonchi
Publication date: 9 February 2021
Full work available at URL: http://eptcs.web.cse.unsw.edu.au/paper.cgi?SOS2009.4
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)