Bisimilarity in concurrent constraint programming

DOI10.4230/LIPICS.ICLP.2010.236zbMATH Open1237.68130MaRDI QIDQ2883099FDOQ2883099

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

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

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)

Cited In (4)

• 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
• Deriving labels and bisimilarity for concurrent constraint programming

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)