Verification of Relational Data-Centric Dynamic Systems with External Services

Data-centric dynamic systems are systems where both the process controlling the dynamics and the manipulation of data are equally central. In this paper we study verification of (first-order) mu-calculus variants over relational data-centric dynamic systems, where data are represented by a full-fled...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Hariri, Babak Bagheri, Calvanese, Diego, De Giacomo, Giuseppe, Deutsch, Alin, Montali, Marco
Format:	Artikel
Sprache:	eng
Schlagworte:	Computer Science - Databases
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!