Observational and behavioural equivalences for soft concurrent constraint programming

Fabio Gadducci, Francesco Santini, Luis F. Pino, Frank D. Valencia

Producción: Contribución a una revistaArtículorevisión exhaustiva

8 Citas (Scopus)

Resumen

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 system over an order-enriched monoid, thus abstractly representing the store with an element of the monoid, and the standard unlabelled semantics just observes store updates. The novel operational rules are shown to offer a sound and complete co-inductive technique to prove the original equivalence over the unlabelled semantics. Based on this characterisation, we provide an axiomatisation for finite agents.

Idioma originalInglés
Páginas (desde-hasta)45-63
Número de páginas19
PublicaciónJournal of Logical and Algebraic Methods in Programming
Volumen92
DOI
EstadoPublicada - nov. 2017

Huella

Profundice en los temas de investigación de 'Observational and behavioural equivalences for soft concurrent constraint programming'. En conjunto forman una huella única.

Citar esto