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 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. Motivations Concurrency is concerned with the fundamental aspects of systems consisting of multiple computing agents, usually called processes, that interact among each other. Bisimilarity is a central behavioural equivalence in concurrency theory as it elegantly captures our intuitive notion of process equivalence; two processes are equivalent if they can match each other’s moves...

• Type: Conference
• Year: 2010
• Where: ICLP
• Authors: Andres A. Aristizabal P.
• Keywords: Automated Reasoning, Behavioural Equivalence, CCP Processes, Concurrent Constraint Programming, ICLP 2010