Concurrent and reactive constraint programming

DOI10.1007/978-3-642-14309-0_11MaRDI QIDQ3578398zbMATH OpenOpenAlexFDO

Authors Maurizio Gabbrielli, Catuscia Palamidessi, Frank D. Valencia

Publication date 20 July 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-14309-0_11

Mathematics Subject Classification ID

Logic programming (68N17) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• scientific article; zbMATH DE number 879003
• Linear concurrent constraint programming: Operational and phase semantics
• Lectures on Concurrency and Petri Nets
• scientific article; zbMATH DE number 2087421
• Proving correctness of timed concurrent constraint programs

Cited in

(8)

• Confluence in concurrent constraint programming
• Models and emerging trends of concurrent constraint programming
• scientific article; zbMATH DE number 1696814 (Why is no real title available?)
• Integration of declarative and constraint programming
• Experiments in reactive constraint logic programming1This paper is the complete version of a previous paper published in [14].1
• scientific article; zbMATH DE number 1405453 (Why is no real title available?)
• Constraints for polymorphic behaviours of concurrent ML
• Subexponential concurrent constraint programming

This page was built for publication: Concurrent and reactive constraint programming

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