Multipoint session types for a distributed calculus

Authors:
Eduardo Bonelli;Adriana Compagnoni
Affiliations:
LIFIA, Fac. de Informática, UNLP, Argentina and CONICET;Stevens Institute of Technology, Hoboken, NJ
Venue:
TGC'07 Proceedings of the 3rd conference on Trustworthy global computing
Year:
2007

Citing 12
Cited 22

Language Primitives and Type Discipline for Structured Communication-Based Programming

ESOP '98 Proceedings of the 7th European Symposium on Programming: Programming Languages and Systems
An Interaction-based Language and its Typing System

PARLE '94 Proceedings of the 6th International PARLE Conference on Parallel Architectures and Languages Europe
Types for Dynamic Interaction

CONCUR '93 Proceedings of the 4th International Conference on Concurrency Theory
Correspondence assertions for process synchronization in concurrent communications

Journal of Functional Programming
BASS: boxed ambients with safe sessions

Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming
Language support for fast and reliable message-based communication in singularity OS

Proceedings of the 1st ACM SIGOPS/EuroSys European Conference on Computer Systems 2006
Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication

Electronic Notes in Theoretical Computer Science (ENTCS)
Multiparty asynchronous session types

Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Typechecking Safe Process Synchronization

Electronic Notes in Theoretical Computer Science (ENTCS)
Asynchronous session types and progress for object oriented languages

FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems
A distributed object-oriented language with session types

TGC'05 Proceedings of the 1st international conference on Trustworthy global computing
Session types for object-oriented languages

ECOOP'06 Proceedings of the 20th European conference on Object-Oriented Programming

Multiparty asynchronous session types

Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Session and Union Types for Object Oriented Programming

Concurrency, Graphs and Models
Structured Interactional Exceptions in Session Types

CONCUR '08 Proceedings of the 19th international conference on Concurrency Theory
Global Progress in Dynamically Interleaved Multiparty Sessions

CONCUR '08 Proceedings of the 19th international conference on Concurrency Theory
Global Principal Typing in Partially Commutative Asynchronous Sessions

ESOP '09 Proceedings of the 18th European Symposium on Programming Languages and Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Synchronous Multiparty Session Types

Electronic Notes in Theoretical Computer Science (ENTCS)
Type-Directed Compilation for Multicore Programming

Electronic Notes in Theoretical Computer Science (ENTCS)
Calculi for Service-Oriented Computing

Formal Methods for Web Services
Asynchronous Session Types: Exceptions and Multiparty Interactions

Formal Methods for Web Services
Session-Based Communication Optimisation for Higher-Order Mobile Processes

TLCA '09 Proceedings of the 9th International Conference on Typed Lambda Calculi and Applications
Modular session types for distributed object-oriented programming

Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Multiparty sessions in SOC

COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
How to infer finite session types in a calculus of services and sessions

COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
Conversation types

Theoretical Computer Science
Practical parameterised session types

ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
A WSDL-based type system for asynchronous WS-BPEL processes

Formal Methods in System Design
Behavioral theory for session-oriented calculi

Rigorous software engineering for service-oriented systems
Parameterised multiparty session types

FOSSACS'10 Proceedings of the 13th international conference on Foundations of Software Science and Computational Structures
Efficient session type guided distributed interaction

COORDINATION'10 Proceedings of the 12th international conference on Coordination Models and Languages
Analysis of service oriented software systems with the conversation calculus

FACS'10 Proceedings of the 7th international conference on Formal Aspects of Component Software
On correlation sets and correlation exceptions in ActiveBPEL

TGC'11 Proceedings of the 6th international conference on Trustworthy Global Computing
Efficient sessions

Science of Computer Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

Session types are a means of statically encoding patterns of interaction between two communicating parties. This paper explores a distributed calculus with session types in which a number of fixed sites interact. The reduction schemes describing the operational semantics satisfy the locality principle: at most one site is involved. Both session engagement and data communication are local and asynchronous. Furthermore, our setting is a natural one in which the novel notion of multipoint session types, sessions in which more than two parties may be involved, can be introduced.