A Symbolic Model for Timed Concurrent Constraint Programming

Concurrent Constraint Programming (ccp) is a model for concurrency where agents interact with each other by telling and asking constraints (i.e., formulas in logic) into a shared store of partial information. The ntcc calculus extends ccp with the notion of discrete time-units for the specification...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Electronic notes in theoretical computer science Jg. 312; S. 161 - 177
Hauptverfasser:	Arias, Jaime, Guzmán, Michell, Olarte, Carlos
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Elsevier B.V 24.04.2015
Schlagworte:	Concurrent constraint programming model checking temporal logic Concurrent constraint programming temporal logic model checking
ISSN:	1571-0661, 1571-0661
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!