scientific article; zbMATH DE number 7362459

zbMath1464.68267arXiv1408.1456MaRDI QIDQ4995154

Christoph Wagner, Uwe Nestmann

Publication date: 23 June 2021

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

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)

Related Items (1)

Fault-tolerant multiparty session types

This page was built for publication: