A Behavioral Congruence for Concurrent Constraint Programming with Non-deterministic Choice - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2014

A Behavioral Congruence for Concurrent Constraint Programming with Non-deterministic Choice

Résumé

Concurrent constraint programming (CCP) is a well-established model of concurrency for reasoning about systems of multiple agents that interact with each other by posting and querying partial information on a shared space. (Weak) bisimilarity is one of the most representative notions of behavioral equivalence for models of concurrency. A notion of weak bisimilarity, called weak saturated bisimilarity (WSB), was recently proposed for CCP. This equivalence improves on previous bisimilarity notions for CCP that were too discriminating and it is a congruence for the choice-free fragment of CCP. In this paper, however, we show that WSB is not a congruence for CCP with nondeterministic choice. We then introduce a new notion of bisimilarity, called weak full bisimilarity (FB), and show that it is a congruence for the full language of ccp. We also show the adequacy of FB by establishing that it coincides with the congruence induced by closing WSB under all contexts. The advantage of the new definition is that, unlike the congruence induced by WSB, it does not require quantifying over infinitely many contexts.
Fichier principal
Vignette du fichier
ictac14-final.pdf (236.08 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01006382 , version 1 (16-06-2014)
hal-01006382 , version 2 (27-12-2014)

Identifiants

  • HAL Id : hal-01006382 , version 1

Citer

Luis Fernando Pino Duque, Filippo Bonchi, Frank D. Valencia. A Behavioral Congruence for Concurrent Constraint Programming with Non-deterministic Choice. 2014. ⟨hal-01006382v1⟩
447 Consultations
354 Téléchargements

Partager

Gmail Facebook X LinkedIn More