scientific article; zbMATH DE number 1337862
From MaRDI portal
Publication:4264203
Recommendations
Cited in
(20)- A fully abstract model for the exchange of information in multi-agent systems.
- Decidability of infinite-state timed CCP processes and first-order LTL
- Characterizing right inverses for spatial constraint systems with applications to modal logic
- Models and emerging trends of concurrent constraint programming
- Constraint satisfaction in distributed concurrent logic programming
- Dynamic spaces in concurrent constraint programming
- Deriving inverse operators for modal logic
- Semantic structures for spatially-distributed multi-agent systems
- Belief, knowledge, lies and other utterances in an algebra for space and extrusion
- The Conic toolkit for building distributed systems
- scientific article; zbMATH DE number 1254033 (Why is no real title available?)
- scientific article; zbMATH DE number 1059301 (Why is no real title available?)
- scientific article; zbMATH DE number 1059303 (Why is no real title available?)
- scientific article; zbMATH DE number 2080308 (Why is no real title available?)
- scientific article; zbMATH DE number 2172791 (Why is no real title available?)
- scientific article; zbMATH DE number 826300 (Why is no real title available?)
- Programming autonomic systems with multiple constraint stores
- Logic Programming
- Stochastic concurrent constraint programming
- Subexponential concurrent constraint programming
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)
