A Denotational Study of Mobility - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

A Denotational Study of Mobility

Joël-Alexis Bialkiewicz
  • Fonction : Auteur
  • PersonId : 980401
Frédéric Peschanski
  • Fonction : Auteur
  • PersonId : 839315

Résumé

This paper introduces a denotational model and refinement theory for a process algebra with mobile channels. Similarly to CSP, process behaviours are recorded as trace sets. To account for branching-time semantics, the traces are decorated by structured locations that are also used to encode the dynamics of channel mobility in a denotational way. We present an original notion of split-equivalence based on elementary trace transformations. It is first characterised coinductively using the notion of split-relation. Building on the principle of trace normalisation, a more denotational characterisation is also proposed. We then exhibit a preorder underlying this equivalence and motivate its use as a proper refinement operator. At the language level, we show refinement to be tightly related to a construct of delayed sums, a generalisation of non-deterministic choices.
Fichier non déposé

Dates et versions

hal-01295318 , version 1 (30-03-2016)

Identifiants

Citer

Joël-Alexis Bialkiewicz, Frédéric Peschanski. A Denotational Study of Mobility. Communicating Process Architectures, Nov 2009, Eindhoven, Netherlands. pp.239-261, ⟨10.3233/978-1-60750-065-0-239⟩. ⟨hal-01295318⟩
36 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More