2026-07-20T17:25:07Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:2602 2024-03-06T10:33:34Z ddc:004 open_access

Bisimilarity in Concurrent Constraint Programming Aristizabal P., Andres A. Concurrent Constraint Programming Concurrency Behavioural Equivalence Bisimilarity Process Calculi Operational Semantics Labelled Semantics 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 first 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Andres A. Aristizabal P. 2010 Is Part Of LIPIcs, Volume 7, Technical Communications of the 26th International Conference on Logic Programming (2010) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.ICLP.2010.236 urn:nbn:de:0030-drops-26029 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.236 eng https://creativecommons.org/licenses/by-nc-nd/3.0/legalcode