scientific article; zbMATH DE number 7168174

zbMath1433.68203arXiv1608.03323MaRDI QIDQ5216330

Roberto Guanciale, Emilio Tuosto

Publication date: 17 February 2020

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

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

Towards refinable choreographies ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ An abstract framework for choreographic testing ⋮ Realisability of pomsets ⋮ Unnamed Item

This page was built for publication: