Skip to Main content Skip to Navigation

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 :
Complete list of metadata

Cited literature [55 references]  Display  Hide  Download
Contributor : Sergueï Lenglet Connect in order to contact the contributor
Submitted on : Saturday, January 16, 2010 - 12:05:24 PM
Last modification on : Wednesday, July 6, 2022 - 4:18:06 AM
Long-term archiving on: : Thursday, October 18, 2012 - 12:40:16 PM


  • HAL Id : tel-00447857, version 1



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



Record views


Files downloads