Multiparty asynchronous session types
Communication is becoming one of the central elements in software development. As a
potential typed foundation for structured communication-centred programming, session …
potential typed foundation for structured communication-centred programming, session …
Multiparty asynchronous session types
Communication is a central elements in software development. As a potential typed
foundation for structured communication-centered programming, session types have been …
foundation for structured communication-centered programming, session types have been …
Behavioral types in programming languages
A recent trend in programming language research is to use behavioral type theory to ensure
various correctness properties of largescale, communication-intensive systems. Behavioral …
various correctness properties of largescale, communication-intensive systems. Behavioral …
Global progress for dynamically interleaved multiparty sessions
M Coppo, M Dezani-Ciancaglini, N Yoshida… - … Structures in Computer …, 2016 - cambridge.org
A multiparty session forms a unit of structured communication among many participants
which follow communication sequences specified as a global type. When a process is …
which follow communication sequences specified as a global type. When a process is …
The Scribble protocol language
The Scribble Protocol Language | SpringerLink Skip to main content Advertisement SpringerLink
Account Menu Find a journal Publish with us Track your research Search Cart Book cover …
Account Menu Find a journal Publish with us Track your research Search Cart Book cover …
A simple library implementation of binary sessions
L Padovani - Journal of Functional Programming, 2017 - cambridge.org
Inspired by the continuation-passing encoding of binary sessions, we describe a simple
approach to embed a hybrid form of session type checking into any programming language …
approach to embed a hybrid form of session type checking into any programming language …
A gentle introduction to multiparty asynchronous session types
M Coppo, M Dezani-Ciancaglini, L Padovani… - Formal Methods for …, 2015 - Springer
This article provides a gentle introduction to multiparty session types, a class of behavioural
types specifically targeted at describing protocols in distributed systems based on …
types specifically targeted at describing protocols in distributed systems based on …
[HTML][HTML] Monitoring networks through multiparty session types
In large-scale distributed infrastructures, applications are realised through communications
among distributed components. The need for methods for assuring safe interactions in such …
among distributed components. The need for methods for assuring safe interactions in such …
Monitoring networks through multiparty session types
In large-scale distributed infrastructures, applications are realised through communications
among distributed components. The need for methods for assuring safe interactions in such …
among distributed components. The need for methods for assuring safe interactions in such …
Monitors and blame assignment for higher-order session types
L Jia, H Gommerstadt, F Pfenning - … of the 43rd Annual ACM SIGPLAN …, 2016 - dl.acm.org
Session types provide a means to prescribe the communication behavior between
concurrent message-passing processes. However, in a distributed setting, some processes …
concurrent message-passing processes. However, in a distributed setting, some processes …