scientific article; zbMATH DE number 7362462

zbMath1467.68130arXiv1408.1459MaRDI QIDQ4995157

Nils Gesbert, António Ravara, Simon J. Gay

Publication date: 23 June 2021

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

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

Session types revisited ⋮ Minimal session types for the \(\pi\)-calculus

This page was built for publication: