Type theories identifying well-formed systems of processes—those that lack communication errors and enjoy strong properties such as deadlock freedom—are based either on session types, which are inhabited by channels, or on contracts, which are inhabited by processes. Current session type theories impose overly restrictive disciplines while contract theories, which do not suffer of such restrictions, only work for networks with fixed topology. Here we fill the gap between the two approaches by defining a theory of contracts for so-called mobile processes, those whose communications may include delegations and channel references. Althought contracts as defined here provide just a shallow abstraction of the behavior of processes they describe, this abstraction is enough to make our theory of contracts effective.

Contracts for Mobile Processes

PADOVANI, Luca
2009-01-01

Abstract

Type theories identifying well-formed systems of processes—those that lack communication errors and enjoy strong properties such as deadlock freedom—are based either on session types, which are inhabited by channels, or on contracts, which are inhabited by processes. Current session type theories impose overly restrictive disciplines while contract theories, which do not suffer of such restrictions, only work for networks with fixed topology. Here we fill the gap between the two approaches by defining a theory of contracts for so-called mobile processes, those whose communications may include delegations and channel references. Althought contracts as defined here provide just a shallow abstraction of the behavior of processes they describe, this abstraction is enough to make our theory of contracts effective.
2009
20th International Conference on Concurrency Theory
Bologna, Italy
31 August - 5 september 2009
CONCUR 2009 - Concurrency Theory
Springer
LNCS 5710
211
228
9783642040801
9783642040818
Castagna, G.; Padovani, Luca
File in questo prodotto:
File Dimensione Formato  
2009 - CONCUR - Castagna Padovani - Contracts for Mobile Processes.pdf

Accesso riservato

Tipo di file: PDF EDITORIALE
Dimensione 291.99 kB
Formato Adobe PDF
291.99 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/131194
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 42
  • ???jsp.display-item.citation.isi??? 32
social impact