Asynchronous session types and progress for object oriented languages

Authors:
Mario Coppo;Mariangiola Dezani-Ciancaglini;Nobuko Yoshida
Affiliations:
Dipartimento di Informatica, Università di Torino;Dipartimento di Informatica, Università di Torino;Department of Computing, Imperial College London
Venue:
FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems
Year:
2007

Citing 16
Cited 19

A calculus of mobile processes, I

Information and Computation
Composing processes

POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Featherweight Java: a minimal core calculus for Java and GJ

ACM Transactions on Programming Languages and Systems (TOPLAS)
Types and programming languages

Types and programming languages
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
Subtyping for session types in the pi calculus

Acta Informatica
A Conversation with Steve Ross-Talbot

Queue - Workflow Systems
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
Type checking a multithreaded functional language with session types

Theoretical Computer Science
Structured communication-centred programming for web services

ESOP'07 Proceedings of the 16th European conference on Programming
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
Calculi, types and applications

Theoretical Computer Science
Session and Union Types for Object Oriented Programming

Concurrency, Graphs and Models
Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines

AMAST 2008 Proceedings of the 12th international conference on Algebraic Methodology and Software Technology
Session-Based Distributed Programming in Java

ECOOP '08 Proceedings of the 22nd European conference on Object-Oriented Programming
Global Progress in Dynamically Interleaved Multiparty Sessions

CONCUR '08 Proceedings of the 19th international conference on Concurrency Theory
Amalgamating sessions and methods in object-oriented languages with generics

Theoretical Computer Science
Objects and session types

Information and Computation
Fundamentals of Session Types

Formal Methods for Web Services
Contracts for Mobile Processes

CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
Linear type theory for asynchronous session types

Journal of Functional Programming
Bounded session types for object oriented languages

FMCO'06 Proceedings of the 5th international conference on Formal methods for components and objects
Multipoint session types for a distributed calculus

TGC'07 Proceedings of the 3rd conference on Trustworthy global computing
On progress for structured communications

TGC'07 Proceedings of the 3rd conference on Trustworthy global computing
On asynchronous session semantics

FMOODS'11/FORTE'11 Proceedings of the joint 13th IFIP WG 6.1 and 30th IFIP WG 6.1 international conference on Formal techniques for distributed systems
Efficient session type guided distributed interaction

COORDINATION'10 Proceedings of the 12th international conference on Coordination Models and Languages
Efficient sessions

Science of Computer Programming
A polymorphic type system with progress for binary sessions

WISM'12 Proceedings of the 2012 international conference on Web Information Systems and Mining
On action permutation and progress for partially commutative asynchronous binary sessions

IDCS'12 Proceedings of the 5th international conference on Internet and Distributed Computing Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

A session type is an abstraction of a sequence of heterogeneous values sent over one channel between two communicating processes. Session types have been introduced to guarantee consistency of the exchanged data and, more recently, progress of the session, i.e. the property that once a communication has been established, well-formed programs will never starve at communication points. A relevant feature which influences progress is whether the communication is synchronous or asynchronous. In this paper, we first formulate a typed asynchronous multi-threaded object-oriented language with thread spawning, iterative and higher order sessions. Then we study its progress through a new effect system. As far as we know, ours is the first session type system which assures progress in asynchronous communication.