scientific article; zbMATH DE number 1696814

MaRDI QIDQ2767080zbMATH OpenFDO

Authors David Gilbert, Catuscia Palamidessi

Publication date 28 January 2002

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
• scientific article; zbMATH DE number 1696803 (Why is no real title available?)
• Dynamic spaces in concurrent constraint programming
• Belief, knowledge, lies and other utterances in an algebra for space and extrusion
• scientific article; zbMATH DE number 1759484 (Why is no real title available?)
• 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:

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