scientific article; zbMATH DE number 7168313

zbMath1432.68300arXiv1711.11209MaRDI QIDQ5216412

Ugo de'Liguoro, Franco Barbanera

Publication date: 17 February 2020

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

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

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed systems (68M14)

Related Items (1)

Session types and subtyping for orchestrated interactions

This page was built for publication: