On Global Types and Multi-Party Session
From MaRDI portal
Publication:2881091
DOI10.2168/LMCS-8(1:24)2012zbMath1238.68026arXiv1203.0780OpenAlexW2626089800MaRDI QIDQ2881091
Mariangiola Dezani-Ciancaglini, Luca Padovani, Giuseppe Castagna
Publication date: 3 April 2012
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1203.0780
Network design and communication in computer systems (68M10) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Network protocols (68M12) Internet topics (68M11)
Related Items
Multiparty session types as coherence proofs, Unnamed Item, Precise Subtyping for Asynchronous Multiparty Sessions, Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types, Verifiable abstractions for contract-oriented systems, Discretionary Information Flow Control for Interaction-Oriented Specifications, Role-based development of dynamically evolving esembles, A formal theory of choreographic programming, Unnamed Item, Unnamed Item, Lightening global types, Connecting open systems of communicating finite state machines, A type checking algorithm for concurrent object protocols, Automata for Analysing Service Contracts, Unnamed Item, A Gentle Introduction to Multiparty Asynchronous Session Types, Enforcing Availability in Failure-Aware Communicating Systems, Unnamed Item, Unnamed Item, Concurrent Reversible Sessions, The Evolution of Jolie
Uses Software