Dynamically Updatable Multiparty Session Protocols (Artifact) (2023)

First Author: Castro-Perez D

Attributed to: Session Types for Reliable Distributed Systems (STARDUST) funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.4230/darts.9.2.10

Publication URI: https://drops.dagstuhl.de/opus/volltexte/2023/18250/

Type: Other