scientific article; zbMATH DE number 7308364

zbMath1454.68081MaRDI QIDQ5150131

Irek Ulidowski, Iain Phillips

Publication date: 9 February 2021

Full work available at URL: http://eptcs.web.cse.unsw.edu.au/paper.cgi?SOS2009.5

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Reversibility in the higher-order \(\pi\)-calculus ⋮ Schedulers and finishers: on generating and filtering the behaviours of an event structure

This page was built for publication: