Expressing and Detecting Control Flow Properties of Distributed Computations

Abstract : Properties of distributed computations can be either on their global states or on their control flows. This paper addresses control flow properties. It first presents a simple yet powerful logic for expressing general properties on control flows, seen as sequences of local states. Among other properties, we can express invariance, sequential properties (to satisfy such a property a control flow must match a pattern described as a word on some alphabet) and non-sequential properties (these properties are on several control flows at the same time). A decentralized detection algorithm for properties described by this logic is then presented. This algorithm, surprisingly simple despite the power of the logic, observes the underlying distributed computation, does not alter its control flows and uses message tags to carry detection-related information.
Type de document :
[Research Report] RR-2384, INRIA. 1994
Liste complète des métadonnées
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 14:59:30
Dernière modification le : vendredi 16 novembre 2018 - 01:24:29
Document(s) archivé(s) le : lundi 5 avril 2010 - 00:08:13



  • HAL Id : inria-00074293, version 1


Vijay Garg, Alex Tomlinson, Eddy Fromentin, Michel Raynal. Expressing and Detecting Control Flow Properties of Distributed Computations. [Research Report] RR-2384, INRIA. 1994. 〈inria-00074293〉



Consultations de la notice


Téléchargements de fichiers