Bisimilarity in Concurrent Constraint Programming - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2010

Bisimilarity in Concurrent Constraint Programming

Abstract

In this doctoral work we aim at developing a new approach to labelled semantics and equivalences for the Concurrent Constraint Programming (CCP) which will enable a broader capture of processes behavioural equivalence. Moreover, we work towards exploiting the strong connection between rst order logic and CCP. Something which will allow us to represent logical formulae in terms of CCP processes and verify its logical equivalence by means of our notion of bisimilarity. Finally, following the lines of the Concurrecy Workbench we plan to implement a CCP Workbench based on our theoretical structure
Fichier principal
Vignette du fichier
ICLP-DC.pdf (82.1 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-00546857 , version 1 (15-12-2010)

Identifiers

  • HAL Id : hal-00546857 , version 1

Cite

Andrés Aristizábal. Bisimilarity in Concurrent Constraint Programming. 26th International Conference on Logic Programming, ICLP 2010, Jul 2010, Edinburgh, United Kingdom. pp.236-240. ⟨hal-00546857⟩
147 View
76 Download

Share

Gmail Facebook X LinkedIn More