scientific article; zbMATH DE number 1337862

MaRDI QIDQ4264203zbMATH OpenFDO

Authors Jean-Hugues Réty

Publication date 5 September 2000

zbMATH Keywords

concurrent constraint programming

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Logic Programming
• scientific article; zbMATH DE number 1059303
• scientific article; zbMATH DE number 1059301
• Dynamic spaces in concurrent constraint programming
• Models for concurrent constraint programming

Cited in

(15)

• The Conic toolkit for building distributed systems
• A fully abstract model for the exchange of information in multi-agent systems.
• Dynamic spaces in concurrent constraint programming
• scientific article; zbMATH DE number 826300 (Why is no real title available?)
• Decidability of infinite-state timed CCP processes and first-order LTL
• scientific article; zbMATH DE number 2080308 (Why is no real title available?)
• Subexponential concurrent constraint programming
• Characterizing right inverses for spatial constraint systems with applications to modal logic
• Deriving inverse operators for modal logic
• Programming autonomic systems with multiple constraint stores
• scientific article; zbMATH DE number 2172791 (Why is no real title available?)
• Models and emerging trends of concurrent constraint programming
• Belief, knowledge, lies and other utterances in an algebra for space and extrusion
• Logic Programming
• scientific article; zbMATH DE number 7449993 (Why is no real title available?)

This page was built for publication:

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