Výsledky vyhledávání - "Distributed Parallel Programming"
-
1
Comprehensive Multiparty Session Types
ISSN: 2331-8422Vydáno: Ithaca Cornell University Library, arXiv.org 01.02.2019Vydáno v 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…”
Získat plný text
Paper