Search Results - "distributed parallel programming"
-
1
Comprehensive Multiparty Session Types
ISSN: 2331-8422Published: Ithaca Cornell University Library, arXiv.org 01.02.2019Published in arXiv.org (01.02.2019)“…Multiparty session types (MST) are a well-established type theory that describes the interactive structure of a fixed number of components from a global point…”
Get full text
Paper