Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

13

BIRTHDAY
2008
Springer

favoriteEmaildiscussreport

105views Applied Computing» more BIRTHDAY 2008»

The Pairing of Contracts and Session Types

13 years 6 months ago

The Pairing of Contracts and Session Types

Download www.cs.unibo.it

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.

Cosimo Laneve, Luca Padovani

Real-time Traffic

Applied Computing | BIRTHDAY 2008 | Complex Synchronization Patterns | Session Types | Types Accommodates Width |

claim paper

Related Content

» Contracts as Pairs of Projections

» Contracts for Mobile Processes

» Secure Implementations for Typed Session Abstractions

» Session types for linear multithreaded functional programming

» A Protocol Compiler for Secure Sessions in ML

» A Market Architecture for MultiAgent Contracting

» Tracking Heaps That Hop with HeapHop

» Conversation Types

» A Theory of DesignbyContract for Distributed Multiparty Interactions

Post Info
More Details (n/a)

Added	12 Oct 2010
Updated	12 Oct 2010
Type	Conference
Year	2008
Where	BIRTHDAY
Authors	Cosimo Laneve, Luca Padovani

Comments (0)