Dealing with observability in interaction-based Offline Runtime Verification of Distributed Systems

Interactions are formal models describing asynchronous communications within a Distributed System (DS). They can be drawn in the fashion of sequence diagrams and executed thanks to an operational semantics akin to that of process algebras. Executions of DS can be characterized by tuples of local tra...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Mahe, Erwan, Bannour, Boutheina, Gaston, Christophe, Lapitre, Arnault, Gall, Pascale Le
Format:	Artikel
Sprache:	eng
Schlagworte:	Computer Science - Formal Languages and Automata Theory Computer Science - Logic in Computer Science
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!