scientific article; zbMATH DE number 7297890

zbMath1458.68134arXiv1704.03160MaRDI QIDQ5144689

Robert J. van Glabbeek

Publication date: 19 January 2021

Full work available at URL: https://arxiv.org/abs/1704.03160

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 (3)

Unnamed Item ⋮ Ensuring liveness properties of distributed systems: open problems ⋮ Unnamed Item

This page was built for publication: