Confluence in concurrent constraint programming

DOI10.1007/3-540-60043-4_76zbMath1496.68104OpenAlexW4210575917MaRDI QIDQ5096405

Kim Marriott, Catuscia Palamidessi, Maurizio Gabbrielli, Moreno Falaschi

Publication date: 16 August 2022

Published in: Algebraic Methodology and Software Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-60043-4_76

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

A confluent calculus for concurrent constraint programming ⋮ A timed concurrent constraint language.

Cites Work

• The expressive power of indeterminate dataflow primitives
• Efficient analysis of concurrent constraint logic programs
• Unnamed Item
• Unnamed Item

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