The Pairing of Contracts and Session Types

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.

• Type: Conference
• Year: 2008
• Where: BIRTHDAY
• Authors: Cosimo Laneve, Luca Padovani
• Keywords: Applied Computing, BIRTHDAY 2008, Complex Synchronization Patterns, Session Types, Types Accommodates Width