scientific article; zbMATH DE number 7315081

zbMath1455.68126arXiv1011.6436MaRDI QIDQ4964003

Nobuko Yoshida, Kohei Honda, Lasse R. Nielsen

Publication date: 24 February 2021

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

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

Session types and subtyping for orchestrated interactions ⋮ Expressiveness of concurrent intensionality ⋮ A Gentle Introduction to Multiparty Asynchronous Session Types

This page was built for publication: