scientific article; zbMATH DE number 1337862
From MaRDI portal
Publication:4264203
zbMath0943.68025MaRDI QIDQ4264203
Publication date: 5 September 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Network design and communication in computer systems (68M10) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)
Related Items (8)
Dynamic spaces in concurrent constraint programming ⋮ Deriving Inverse Operators for Modal Logic ⋮ Belief, knowledge, lies and other utterances in an algebra for space and extrusion ⋮ A fully abstract model for the exchange of information in multi-agent systems. ⋮ Unnamed Item ⋮ 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
This page was built for publication:
