Generalising Projection in Asynchronous Multiparty Session Types.

DOI10.4230/lipics.concur.2021.35arXiv2107.03984OpenAlexW3196793702MaRDI QIDQ6176120

No author found.

Publication date: 21 August 2023

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

zbMATH Keywords

verificationcommunicating state machinesmultiparty session types

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Unnamed Item ⋮ Unnamed Item

This page was built for publication: Generalising Projection in Asynchronous Multiparty Session Types.