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
Type de document :
Communication dans un congrès
Tom Holvoet; Mirko Viroli. Proceedings of the 16th IFIP WG 6.1 International Conference on Coordination Models and Languages (COORDINATION 2015), Jun 2015, Grenoble, France. Springer, 9037, pp.133-149, 2015, Lecture Notes in Computer Science. 〈http://discotec2015.inria.fr/〉. 〈10.1007/978-3-319-19282-6_9〉
Liste complète des métadonnées

Littérature citée [20 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01149227
Contributeur : Luis Fernando Pino Duque <>
Soumis le : mercredi 6 mai 2015 - 16:25:53
Dernière modification le : jeudi 11 janvier 2018 - 06:22:14
Document(s) archivé(s) le : mercredi 19 avril 2017 - 18:23:21

Fichier

coordination15.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Fabio Gadducci, Francesco Santini, Luis Pino, Frank Valencia. A Labelled Semantics for Soft Concurrent Constraint Programming. Tom Holvoet; Mirko Viroli. Proceedings of the 16th IFIP WG 6.1 International Conference on Coordination Models and Languages (COORDINATION 2015), Jun 2015, Grenoble, France. Springer, 9037, pp.133-149, 2015, Lecture Notes in Computer Science. 〈http://discotec2015.inria.fr/〉. 〈10.1007/978-3-319-19282-6_9〉. 〈hal-01149227〉

Partager

Métriques

Consultations de la notice

271

Téléchargements de fichiers

172