Bisimilarity in Concurrent Constraint Programming

Aristizabal P., Andres A.

doi:10.4230/LIPIcs.ICLP.2010.236

Document

Bisimilarity in Concurrent Constraint Programming

Author Andres A. Aristizabal P.

Part of: Volume: Technical Communications of the 26th International Conference on Logic Programming (ICLP 2010)
Part of: Series: Leibniz International Proceedings in Informatics (LIPIcs)
Part of: Conference: International Conference on Logic Programming (ICLP)
License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license
Publication Date: 2010-06-25

PDF

File

PDF

LIPIcs.ICLP.2010.236.pdf

Filesize: 117 kB
5 pages

Document Identifiers

DOI: 10.4230/LIPIcs.ICLP.2010.236
URN: urn:nbn:de:0030-drops-26029

Subject Classification

Keywords

Concurrent Constraint Programming
Concurrency
Behavioural Equivalence
Bisimilarity
Process Calculi
Operational Semantics
Labelled Semantics

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

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.

Cite As Get BibTex

Andres A. Aristizabal P.. Bisimilarity in Concurrent Constraint Programming. In Technical Communications of the 26th International Conference on Logic Programming. Leibniz International Proceedings in Informatics (LIPIcs), Volume 7, pp. 236-240, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010) https://doi.org/10.4230/LIPIcs.ICLP.2010.236

Author Details

Andres A. Aristizabal P.

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail