A theory of protocol composition (2022)

First Author: Bocchi L
Attributed to:  Session Types for Reliable Distributed Systems (STARDUST) funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: http://arxiv.org/abs/2203.02461

Type: Working Paper

ISBN: 10.48550/arXiv.2203.02461