We pair session types and contracts using two encodings. The encod- ing 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.

The Pairing of Contracts and Session Types

PADOVANI, Luca
2008-01-01

Abstract

We pair session types and contracts using two encodings. The encod- ing 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.
2008
Concurrency, Graphs and Models
Pisa, Italy
12 june 2008
Concurrency, Graphs and Models
Springer
LNCS 5065
681
700
9783540686767
9783540686798
Laneve, C.; Padovani, Luca
File in questo prodotto:
File Dimensione Formato  
2008 - UGO - Laneve Padovani - The Pairing of Contracts and Session Types.pdf

Accesso riservato

Tipo di file: PDF EDITORIALE
Dimensione 430.73 kB
Formato Adobe PDF
430.73 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/69800
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 30
  • ???jsp.display-item.citation.isi??? 23
social impact