Expressing and detecting control flow properties of distributed computations

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 proper...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Garg, V.K., Tomlinson, A., Fromentin, E., Raynal, M.
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Buildings Debugging Detection algorithms Distributed computing Lattices Logic Pattern matching Pipeline processing Process control Runtime
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!