Bisimilarity in concurrent constraint programming

DOI10.4230/LIPICS.ICLP.2010.236MaRDI QIDQ2883099zbMATH OpenFDO

Authors Andrés Alberto Aristizábal Pinzón

Publication date 11 May 2012

Full work available at URL http://subs.emis.de/LIPIcs/frontdoor_a465.html

zbMATH Keywords

concurrencyconcurrent constraint programmingprocess calculibehavioural equivalenceoperational semanticsbisimilaritylabelled semantics

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Deriving labels and bisimilarity for concurrent constraint programming
• Confluence in concurrent constraint programming
• Confluence in concurrent constraint programming
• Truly concurrent constraint programming
• Truly concurrent constraint programming
• scientific article; zbMATH DE number 794260
• scientific article; zbMATH DE number 1113818
• A confluent calculus for concurrent constraint programming
• scientific article; zbMATH DE number 92600
• Constraint-based concurrency and beyond

Cited in

(4)

• Deriving labels and bisimilarity for concurrent constraint programming
• Reducing weak to strong bisimilarity in CCP
• Constrained simulations, nested simulation semantics and counting bisimulations
• A behavioral congruence for concurrent constraint programming with nondeterministic choice

This page was built for publication: Bisimilarity in concurrent constraint programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2883099)