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. 17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. Springer, Lecture Notes in Computer Science, LNCS-9037, pp.133-149, 2015, Coordination Models and Languages. 〈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 10 mai 2018 - 02:06:53
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. 17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. Springer, Lecture Notes in Computer Science, LNCS-9037, pp.133-149, 2015, Coordination Models and Languages. 〈http://discotec2015.inria.fr/〉. 〈10.1007/978-3-319-19282-6_9〉. 〈hal-01149227〉

Partager

Métriques

Consultations de la notice

318

Téléchargements de fichiers

182