Concurrent constraint programming with process mobility

DOI10.1007/3-540-44957-4_31MaRDI QIDQ2767080zbMATH OpenFDO

Authors David Gilbert, Catuscia Palamidessi

Publication date 28 January 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://bura.brunel.ac.uk/handle/2438/2997

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 2086859
• Concurrent and reactive constraint programming
• Truly concurrent constraint programming
• Truly concurrent constraint programming
• Constraint-based concurrency and beyond
• A process algebra for synchronous concurrent constraint programming
• scientific article; zbMATH DE number 1059301
• Models for concurrent constraint programming
• Confluence in concurrent constraint programming
• Confluence in concurrent constraint programming

Cited in

(11)

• Continuation-based transformations for coordination languages
• Decidability of infinite-state timed CCP processes and first-order LTL
• A calculus for collective-adaptive systems and its behavioural theory
• Models and emerging trends of concurrent constraint programming
• Combining mobile processes and declarative programming
• Dynamic spaces in concurrent constraint programming
• Belief, knowledge, lies and other utterances in an algebra for space and extrusion
• Local -calculus at work: Mobile objects as mobile processes
• Nomadic Pict: correct communication infrastructure for mobile computation
• Open Bisimulation for the Concurrent Constraint Pi-Calculus
• A PO characterisation of reconfiguration

This page was built for publication: Concurrent constraint programming with process mobility

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