scientific article; zbMATH DE number 7315000

zbMath1455.68119arXiv1010.5566MaRDI QIDQ4963910

Søren Debois, Marco Carbone

Publication date: 24 February 2021

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

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) Internet topics (68M11)

Related Items (7)

Multiparty session types as coherence proofs ⋮ Comparing type systems for deadlock freedom ⋮ Separating Sessions Smoothly ⋮ Session-based concurrency in Maude: executable semantics and type checking ⋮ Unnamed Item ⋮ Global types with internal delegation ⋮ Prioritise the best variation

This page was built for publication: