Confluence in concurrent constraint programming

DOI10.1016/S0304-3975(97)00328-9zbMath0901.68032MaRDI QIDQ1391102

Catuscia Palamidessi, Moreno Falaschi, Kim Marriott, Maurizio Gabbrielli

Publication date: 22 July 1998

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

concurrent constraint programming

Mathematics Subject Classification ID

Theory of software (68N99)

Related Items

On concurrent behaviors and focusing in linear logic ⋮ Abstract interpretation of temporal concurrent constraint programs ⋮ Nondeterminism and infinite computations in constraint programming ⋮ On proving confluence modulo equivalence for Constraint Handling Rules ⋮ Models and emerging trends of concurrent constraint programming

Cites Work

• A calculus of communicating systems
• The expressive power of indeterminate dataflow primitives
• Truly concurrent constraint programming
• An algebraic perspective of constraint logic programming
• Efficient analysis of concurrent constraint logic programs
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item