HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation

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

Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Wednesday, May 24, 2006 - 2:59:30 PM
Last modification on : Friday, February 4, 2022 - 3:25:18 AM
Long-term archiving on: : Monday, April 5, 2010 - 12:08:13 AM


  • 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⟩



Record views


Files downloads