scientific article; zbMATH DE number 1337862

zbMATH Open0943.68025MaRDI QIDQ4264203FDOQ4264203

Authors: Jean-Hugues Réty 

Publication date: 5 September 2000

Title of this publication is not available (Why is that?)

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

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)

Cited In (14)

• A fully abstract model for the exchange of information in multi-agent systems.
• Dynamic spaces in concurrent constraint programming
• Title not available (Why is that?)
• Decidability of infinite-state timed CCP processes and first-order LTL
• Title not available (Why is that?)
• Subexponential concurrent constraint programming
• Characterizing right inverses for spatial constraint systems with applications to modal logic
• Title not available (Why is that?)
• Models and emerging trends of concurrent constraint programming
• Belief, knowledge, lies and other utterances in an algebra for space and extrusion
• Deriving Inverse Operators for Modal Logic
• Logic Programming
• Title not available (Why is that?)
• The Conic toolkit for building distributed systems

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)