%0 Conference Proceedings
%T A Labelled Semantics for Soft Concurrent Constraint Programming
%+ Dipartimento di Informatica [Pisa]
%+ Istituto di Informatica e Telematica (IIT-CNR)
%+ Università degli Studi di Cagliari = University of Cagliari (UniCa)
%+ Laboratoire d'informatique de l'École polytechnique [Palaiseau] (LIX)
%+ Concurrency, Mobility and Transactions (COMETE)
%A Gadducci, Fabio
%A Santini, Francesco
%A Pino, Luis
%A Valencia, Frank
%Z MIUR PRIN 2010LHT4KM CINA
%Z PRIN 2010XSEMLC “Security Horizons”
%Z Aut. Reg. of Sardinia P.I.A. 2010 “Social Glue”
%Z Part 3: Constraints
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 17th International Conference on Coordination Languages and Models (COORDINATION)
%C Grenoble, France
%Y Tom Holvoet
%Y Mirko Viroli
%I Springer
%3 Coordination Models and Languages
%V LNCS-9037
%P 133-149
%8 2015-06-02
%D 2015
%R 10.1007/978-3-319-19282-6_9
%K Constraint Satisfaction Problem, Soft Constraint, Label Transition System, Denotational Semantic, Compact Element
%Z Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]Conference papers
%X 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
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-01149227/document
%2 https://inria.hal.science/hal-01149227/file/coordination15.pdf
%L hal-01149227
%U https://inria.hal.science/hal-01149227
%~ X
%~ CNRS
%~ INRIA
%~ LIX
%~ LIX-COMETE
%~ INRIA-SACLAY
%~ X-LIX
%~ X-DEP
%~ X-DEP-INFO
%~ INRIA_TEST
%~ TESTALAIN1
%~ IFIP-LNCS
%~ IFIP
%~ INRIA2
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-COORDINATION
%~ UNIV-PARIS-SACLAY
%~ INRIA-SACLAY-2015
%~ X-SACLAY
%~ IFIP-DISCOTEC
%~ IFIP-LNCS-9037
%~ ANR
%~ GS-COMPUTER-SCIENCE