The Pairing of Contracts and Session Types

Authors:
Cosimo Laneve;Luca Padovani
Affiliations:
Department of Computer Science, University of Bologna,;Information Science and Technology Institute, University of Urbino,
Venue:
Concurrency, Graphs and Models
Year:
2008

Citing 12
Cited 8

Acceptance trees

Journal of the ACM (JACM)
Two complete axiom systems for a theory of communicating sequential processes

Information and Control
CCS without &tgr;'s

The International Joint Conference on theory and practice of software development on TAPSOFT '87
Algebraic theory of processes

Algebraic theory of processes
Types for Dynamic Interaction

CONCUR '93 Proceedings of the 4th International Conference on Concurrency Theory
Subtyping for session types in the pi calculus

Acta Informatica
Type checking a multithreaded functional language with session types

Theoretical Computer Science
A theory of contracts for web services

Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The Must Preorder Revisited

CONCUR '07 Proceedings of the 18th international conference on Concurrency Theory
On progress for structured communications

TGC'07 Proceedings of the 3rd conference on Trustworthy global computing
A formal account of contracts for web services

WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Session types for object-oriented languages

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

Abstract Processes in Orchestration Languages

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
Calculi for Service-Oriented Computing

Formal Methods for Web Services
Contract-Based Discovery and Adaptation of Web Services

Formal Methods for Web Services
Two notions of sub-behaviour for session-based client/server systems

Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming
Contract-based discovery of Web services modulo simple orchestrators

Theoretical Computer Science
Sessions and session types: an overview

WS-FM'09 Proceedings of the 6th international conference on Web services and formal methods
Typing asymmetric client-server interaction

FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Modelling session types using contracts

Proceedings of the 27th Annual ACM Symposium on Applied Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

We pair session types and contracts using two encodings. The encoding of session types accommodates width and depth subtyping, two properties that partially hold in contracts. The encoding of contracts accommodates complex synchronization patterns, since session types own a simple control protocol. The encodings allow one to use the two formalisms interchangeably, within the context of dyadic interactions.