LIPIcs.ICLP.2010.236.pdf
- Filesize: 117 kB
- 5 pages
Document
Bisimilarity in Concurrent Constraint Programming
Author
- Publication date: 2010-06-25
- License:
Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license
-
Part of:
Volume:
Technical Communications of the 26th International Conference on Logic Programming
Series: Leibniz International Proceedings in Informatics (LIPIcs)
Conference: International Conference on Logic Programming (ICLP)
Cite AsGet 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
https://doi.org/10.4230/LIPIcs.ICLP.2010.236
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.
Keywords
- Concurrent Constraint Programming
- Concurrency
- Behavioural Equivalence
- Bisimilarity
- Process Calculi
- Operational Semantics
- Labelled Semantics
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads