A fully abstract model for concurrent constraint programming

DOI10.1007/3-540-53982-4_17MaRDI QIDQ2736349zbMATH OpenFDO

Authors Catuscia Palamidessi, Frank S. de Boer

Publication date 29 August 2001

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

Full work available at URL https://doi.org/10.1007/3-540-53982-4_17

Mathematics Subject Classification ID

Logic programming (68N17) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Recommendations

• scientific article; zbMATH DE number 1231566
• A fully abstract semantics for concurrent constraint programming
• Truly concurrent constraint programming
• Linear concurrent constraint programming: Operational and phase semantics
• Truly concurrent constraint programming

Cited in

(28)

• On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP
• Unfolding and fixpoint semantics of concurrent constraint logic programs
• A fully abstract semantics for concurrent constraint programming
• A general theory of action languages
• Constraint logic programming with dynamic scheduling: A semantics based on closure operators
• Confluence in concurrent constraint programming
• A fully abstract model for the exchange of information in multi-agent systems.
• Truly concurrent constraint programming
• A timed concurrent constraint language.
• Linear concurrent constraint programming: Operational and phase semantics
• Executing formal specifications with concurrent constraint programming
• An equational modeling of asynchronous concurrent programming
• Models and emerging trends of concurrent constraint programming
• A process algebra for synchronous concurrent constraint programming
• A Compositional Semantics for CHR with Propagation Rules
• Concurrent constraints in the fusion calculus. (Extended abstract)
• scientific article; zbMATH DE number 1231566 (Why is no real title available?)
• Timed soft concurrent constraint programs: an interleaved and a parallel approach
• scientific article; zbMATH DE number 826300 (Why is no real title available?)
• Abstracting properties in concurrent constraint programming
• Proving correctness of constraint logic programs with dynamic scheduling
• True concurrency semantics for a linear logic programming language with broadcast communication
• Confluence in concurrent constraint programming
• Leaving Traces: A Note on a Sound and Complete Trace Logic for Concurrent Constraint Programs
• Full Abstraction for Linda
• Truly concurrent constraint programming
• Nondeterminism and infinite computations in constraint programming
• Graph rewriting for a partial ordering semantics of concurrent constraints programming

This page was built for publication: A fully abstract model for concurrent constraint programming

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