Skip to Main content Skip to Navigation
Theses

Typage et contrôle de la mobilité

Abstract : Distributed computation is increasingly used even though it is still only loosely controlled. This thesis deals with the Dpi-calculus, a simple extension of the pi-calculus in which processes are located to describe distribution. In this calculus, processes can communicate locally and migrate between locations. Beside communication channels and locations, a new family of identifiers, passports, is added to provide a fine-grained control over process migrations: any process must own an appropriate passport to enter a location.

The calculus is structured through a type system which associate a type to every identifier and allows to check that a process uses only the rights it owns. The subtyping order over types is extended to passport types by considering the origin of migrating processes. The existence of greatest lower bounds is shown under some conditions. The fact that well-typed processes stay well-typed whenever they reduce is also proved.

Observational equivalence is also studied: when do process behave identically from the point of view of some observer? In a calculus equipped with passports, it is mandatory to ask the observer to play fair, i.e. to require that it owns some passports to observe any behaviour in the corresponding locations. These constraints define a fair barbed congruence. A labelled transition system is subsequently developed so that the bisimilarity it generates coincides with the fair barbed congruence.
Document type :
Theses
Complete list of metadata

Cited literature [16 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00140652
Contributor : Samuel Hym <>
Submitted on : Sunday, April 8, 2007 - 8:21:53 PM
Last modification on : Saturday, March 28, 2020 - 2:24:15 AM
Long-term archiving on: : Friday, September 21, 2012 - 2:00:41 PM

Identifiers

  • HAL Id : tel-00140652, version 1

Collections

Citation

Samuel Hym. Typage et contrôle de la mobilité. Autre [cs.OH]. Université Paris-Diderot - Paris VII, 2006. Français. ⟨tel-00140652⟩

Share

Metrics

Record views

182

Files downloads

286