Observational and behavioural equivalences for soft concurrent constraint programming

We present a labelled semantics for Soft Concurrent Constraint Programming (SCCP), a meta-language where concurrent agents may synchronise on a shared store by either posting or checking the satisfaction of (soft) constraints. SCCP generalises the classical formalism by parametrising the constraint...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Journal of logical and algebraic methods in programming Jg. 92; S. 45 - 63
Hauptverfasser:	Gadducci, Fabio, Santini, Francesco, Pino, Luis F., Valencia, Frank D.
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Elsevier 01.11.2017
Schlagworte:	Computer Science Distributed, Parallel, and Cluster Computing Logic in Computer Science Soft Constraints Semantics of Programming Langages Concurrent Constraint Programming
ISSN:	2352-2208
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!