A Sound Algorithm for Asynchronous Session Subtyping and its Implementation. (2021)

First Author: Bravetti M
Attributed to:  Conversation-Based Governance for Distributed Systems by Multiparty Session Types funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: https://lmcs.episciences.org/7238

Type: Journal Article/Review

Volume: 17

Parent Publication: Logical Methods in Computer Science

Issue: 1