scientific article
From MaRDI portal
Publication:2767080
zbMath0983.68617MaRDI QIDQ2767080
Catuscia Palamidessi, David Gilbert
Publication date: 28 January 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Computing methodologies and applications (68U99)
Related Items (7)
Dynamic spaces in concurrent constraint programming ⋮ Belief, knowledge, lies and other utterances in an algebra for space and extrusion ⋮ A PO characterisation of reconfiguration ⋮ Decidability of infinite-state timed CCP processes and first-order LTL ⋮ A calculus for collective-adaptive systems and its behavioural theory ⋮ Open Bisimulation for the Concurrent Constraint Pi-Calculus ⋮ Models and emerging trends of concurrent constraint programming
This page was built for publication:
