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 studied over the past decade for a wide range of process calculi and programming languages, focusing on binary (two-party) sessions....

Full description

Saved in:
Bibliographic Details
Published in:Journal of the ACM 2016-03, Vol.63 (1), p.1-67
Main Authors: Honda, Kohei, Yoshida, Nobuko, Carbone, Marco
Format: Article
Language:English
Subjects:
Asynchronous
Calculi
Calculus
Communication
Foundations
Mathematical analysis
Programming
Programming languages
Projection
Software development
Studies
Systems development
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!