Abstract interpretation of temporal concurrent constraint programs

Timed Concurrent Constraint Programming (tcc) is a declarative model for concurrency offering a logic for specifying reactive systems, i.e., systems that continuously interact with the environment. The universal tcc formalism (utcc) is an extension of tcc with the ability to express mobility. Here m...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Theory and practice of logic programming Jg. 15; H. 3; S. 312 - 357
Hauptverfasser:	FALASCHI, MORENO, OLARTE, CARLOS, PALAMIDESSI, CATUSCIA
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Cambridge, UK Cambridge University Press 01.05.2015 Cambridge University Press (CUP)
Schlagworte:	Computer Science Data flow analysis Logic Logic in Computer Science Logic programming Mobile communication systems Regular Papers Reuse Secrecy aspects Security Semantics abstract interpretation process calculi timed concurrent constraint programming reactive systems denotational semantics
ISSN:	1471-0684, 1475-3081
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!