Global Progress in Dynamically Interleaved Multiparty Sessions

Authors:
Lorenzo Bettini;Mario Coppo;Loris D'Antoni;Marco Luca;Mariangiola Dezani-Ciancaglini;Nobuko Yoshida
Affiliations:
Dipartimento di Informatica, Università di Torino,;Dipartimento di Informatica, Università di Torino,;Dipartimento di Informatica, Università di Torino,;Dipartimento di Informatica, Università di Torino,;Dipartimento di Informatica, Università di Torino,;Department of Computing, Imperial College London,
Venue:
CONCUR '08 Proceedings of the 19th international conference on Concurrency Theory
Year:
2008

Citing 19
Cited 31

A partially deadlock-free typed process calculus

ACM Transactions on Programming Languages and Systems (TOPLAS)
Communicating and mobile systems: the &pgr;-calculus

Communicating and mobile systems: the &pgr;-calculus
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
Types for Dynamic Interaction

CONCUR '93 Proceedings of the 4th International Conference on Concurrency Theory
Graph Types for Monadic Mobile Processes

Proceedings of the 16th Conference on Foundations of Software Technology and Theoretical Computer Science
Subtyping for session types in the pi calculus

Acta Informatica
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)
Disciplining Orchestration and Conversation in Service-Oriented Computing

SEFM '07 Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods
Multiparty asynchronous session types

Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A Type System for Client Progress in a Service-Oriented Calculus

Concurrency, Graphs and Models
Session-Based Distributed Programming in Java

ECOOP '08 Proceedings of the 22nd European conference on Object-Oriented Programming
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
Towards a unifying theory for choreography conformance and contract compliance

SC'07 Proceedings of the 6th international conference on Software composition
Multiparty sessions in SOC

COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
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
A new type system for deadlock-free processes

CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
Session types for object-oriented languages

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

Conversation Types

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
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
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
Contracts for Mobile Processes

CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
Sessions and session types: an overview

WS-FM'09 Proceedings of the 6th international conference on Web services and formal methods
Type-safe eventful sessions in java

ECOOP'10 Proceedings of the 24th European conference on Object-oriented programming
A theory of design-by-contract for distributed multiparty interactions

CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
Session types for access and information flow control

CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
Buffered communication analysis in distributed multiparty sessions

CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
Conversation types

Theoretical Computer Science
Dynamic multirole session types

Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Practical parameterised session types

ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
Scribbling interactions with a formal foundation

ICDCIT'11 Proceedings of the 7th international conference on Distributed computing and internet technology
A WSDL-based type system for asynchronous WS-BPEL processes

Formal Methods in System Design
Typing copyless message passing

ESOP'11/ETAPS'11 Proceedings of the 20th European conference on Programming languages and systems: part of the joint European conferences on theory and practice of software
On global types and multi-party sessions

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
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
Static analysis techniques 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
Analysis of service oriented software systems with the conversation calculus

FACS'10 Proceedings of the 7th international conference on Formal Aspects of Component Software
Multiparty session types meet communicating automata

ESOP'12 Proceedings of the 21st European conference on Programming Languages and Systems
A reputation system for multirole sessions

TGC'11 Proceedings of the 6th international conference on Trustworthy Global Computing
Constraints for service contracts

TGC'11 Proceedings of the 6th international conference on Trustworthy Global Computing
Multiparty session c: safe parallel programming with message optimisation

TOOLS'12 Proceedings of the 50th international conference on Objects, Models, Components, Patterns
Specifying stateful asynchronous properties for distributed programs

CONCUR'12 Proceedings of the 23rd international conference on Concurrency Theory
Nested protocols in session types

CONCUR'12 Proceedings of the 23rd international conference on Concurrency Theory
Deadlock-freedom-by-design: multiparty asynchronous global programming

POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Multiparty compatibility in communicating automata: characterisation and synthesis of global session types

ICALP'13 Proceedings of the 40th international conference on Automata, Languages, and Programming - Volume Part II
Globally governed session semantics

CONCUR'13 Proceedings of the 24th international conference on Concurrency Theory
Compositional choreographies

CONCUR'13 Proceedings of the 24th international conference on Concurrency Theory

Quantified Score

Hi-index	0.00

Visualization

Abstract

A multiparty session forms a unit of structured interactions among many participants which follow a prescribed scenario specified as a global type signature. This paper develops, besides a more traditional communicationtype system, a novel static interactiontype system for global progress in dynamically interleaved multiparty sessions.