@inproceedings{74c17d0241ce4268908928d8c52d58b2,
title = "A labelled semantics for soft concurrent constraint programming",
abstract = "We present a labelled semantics for Soft Concurrent Constraint Programming (SCCP), a language where concurrent agents may synchronize on a shared store by either posting or checking the satisfaction of (soft) constraints. SCCP generalizes the classical formalism by parametrising the constraint system over an order-enriched monoid: the monoid operator is not required to be idempotent, thus adding the same information several times may change the store. The novel operational rules are shown to offer a sound and complete co-inductive technique to prove the original equivalence over the unlabelled semantics.",
author = "Fabio Gadducci and Francesco Santini and Pino, {Luis F.} and Valencia, {Frank D.}",
note = "Publisher Copyright: {\textcopyright} IFIP International Federation for Information Processing 2015.; 17th IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2015 Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015 ; Conference date: 02-06-2015 Through 04-06-2015",
year = "2015",
doi = "10.1007/978-3-319-19282-6_9",
language = "English",
isbn = "9783319192819",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "133--149",
editor = "Tom Holvoet and Mirko Viroli",
booktitle = "Coordination Models and Languages - 17th IFIP WG 6.1 International Conference, COORDINATION 2015 Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Proceedings",
address = "Germany",
}