License
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.ICLP.2010.236
URN: urn:nbn:de:0030-drops-26029
URL: http://drops.dagstuhl.de/opus/volltexte/2010/2602/
Go to the corresponding Portal


Aristizabal P., Andres A.

Bisimilarity in Concurrent Constraint Programming

pdf-format:
Document 1.pdf (118 KB)


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.

BibTeX - Entry

@InProceedings{aristizabalp:LIPIcs:2010:2602,
  author =	{Andres A. Aristizabal P.},
  title =	{{Bisimilarity in Concurrent Constraint Programming}},
  booktitle =	{Technical Communications of the 26th International Conference on Logic Programming},
  pages =	{236--240},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-939897-17-0},
  ISSN =	{1868-8969},
  year =	{2010},
  volume =	{7},
  editor =	{Manuel Hermenegildo and Torsten Schaub},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2010/2602},
  URN =		{urn:nbn:de:0030-drops-26029},
  doi =		{http://dx.doi.org/10.4230/LIPIcs.ICLP.2010.236},
  annote =	{Keywords: Concurrent Constraint Programming, Concurrency, Behavioural Equivalence, Bisimilarity, Process Calculi, Operational Semantics, Labelled Semantics}
}

Keywords: Concurrent Constraint Programming, Concurrency, Behavioural Equivalence, Bisimilarity, Process Calculi, Operational Semantics, Labelled Semantics
Seminar: Technical Communications of the 26th International Conference on Logic Programming
Issue Date: 2010
Date of publication: 25.06.2010


DROPS-Home | Fulltext Search | Imprint Published by LZI