1 Search Results for "Aristizabal P., Andres A."

Bisimilarity in Concurrent Constraint Programming

Authors: Andres A. Aristizabal P.

Published in: LIPIcs, Volume 7, Technical Communications of the 26th International Conference on Logic Programming (2010)

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

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)

Copy BibTex To Clipboard

  author =	{Aristizabal P., Andres A.},
  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 =	{Hermenegildo, Manuel and Schaub, Torsten},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.236},
  URN =		{urn:nbn:de:0030-drops-26029},
  doi =		{10.4230/LIPIcs.ICLP.2010.236},
  annote =	{Keywords: Concurrent Constraint Programming, Concurrency, Behavioural Equivalence, Bisimilarity, Process Calculi, Operational Semantics, Labelled Semantics}
  • Refine by Author
  • 1 Aristizabal P., Andres A.

  • Refine by Classification

  • Refine by Keyword
  • 1 Behavioural Equivalence
  • 1 Bisimilarity
  • 1 Concurrency
  • 1 Concurrent Constraint Programming
  • 1 Labelled Semantics
  • Show More...

  • Refine by Type
  • 1 document

  • Refine by Publication Year
  • 1 2010

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