articleJan 7, 2008GREEN OA

Multiparty asynchronous session types

KHKohei HondaNYNobuko YoshidaMCMarco Carbone

Queen Mary University of London · Imperial College London

Indexed incrossrefdatacite

Abstract

Communication is becoming one of the central elements in software development. As a potential typed foundation for structured communication-centred programming, session types have been studied over the last decade for a wide range of process calculi and programming languages, focussing on binary (two-party) sessions. This work extends the foregoing theories of binary session types to multiparty, asynchronous sessions, which often arise in practical communication-centred applications. Presented as a typed calculus for mobile processes, the theory introduces a new notion of types in which interactions involving multiple peers are directly abstracted as a global scenario. Global types retain a friendly type…

Citation impact

655
total citations
FWCI
65.79
Percentile
100%
References
52
Citations per year

Authors

3

Topics & keywords

Topics
Keywords
  • Computer science
  • Asynchronous communication
  • Session (web analytics)
  • Syntax
  • Process calculus
  • Theoretical computer science
  • Programming language
  • World Wide Web
UN Sustainable Development Goals
  • Partnerships for the goals
No related works found for this paper.

Funding