Bisimulations dans les calculs avec passivation

Sergueï Lenglet 1
1 SARDES - System architecture for reflective distributed computing environments
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : In process calculi, concurrent and interacting systems are modelled by processes that run in parallel and exchange messages. Calculi with passivation features a special operator that allows to stop a process at any time of its execution; the suspended process may then be modified or forwarded before being reactivated. Passivation is useful to model failures or dynamic reconfiguration phenomena. We are interested in behavioral equivalences in these calculi. The behavior of a process is given by a labelled transition system, which exhibits the interactions of a process with its environment. Bisimilarities then relate processes by comparing their interactions. Until now, the bisimilarities defined in calculi with passivation are too complex to be used in practice. Furthermore, there is no characterization of barbed congruence in the weak case, where internal actions from processes are not observable. We deal with this two issues in this document. We first define an easy to use bisimilarity in a calculus with passivation but without restriction. However, we give counter-examples which suggest that it is not possible to to do so in calculi with passivation and restriction. We also define a new kind of labelled transition system, which allows the characterization of the barbed congruence even in the weak case. We apply our technique to different calculi, including the Kell.
Document type :
Theses
Complete list of metadatas

Cited literature [55 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00447857
Contributor : Sergueï Lenglet <>
Submitted on : Saturday, January 16, 2010 - 12:05:24 PM
Last modification on : Friday, October 12, 2018 - 1:17:59 AM
Long-term archiving on : Thursday, October 18, 2012 - 12:40:16 PM

Identifiers

  • HAL Id : tel-00447857, version 1

Collections

Citation

Sergueï Lenglet. Bisimulations dans les calculs avec passivation. Informatique [cs]. Université Joseph-Fourier - Grenoble I, 2010. Français. ⟨tel-00447857⟩

Share

Metrics

Record views

412

Files downloads

284