Logical semantics of concurrent constraint programming

DOI10.1007/3-540-61551-2_89MaRDI QIDQ4375591zbMATH OpenFDO

Authors Paul Ruet

Publication date 8 February 1998

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

Full work available at URL https://doi.org/10.1007/3-540-61551-2_89

zbMATH Keywords

concurrent constraint computationconcurrent constraint programmingintuitionistic logiclinear logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Recommendations

• scientific article; zbMATH DE number 794260
• scientific article; zbMATH DE number 879003
• Concurrent constraint programming and non-commutative logic
• A fully abstract semantics for concurrent constraint programming
• A concurrent operational semantics for constraint functional logic programming
• scientific article; zbMATH DE number 3958700
• Unfolding and fixpoint semantics of concurrent constraint logic programs
• Unfolding and fixpoint semantics of concurrent constraint logic programs
• A confluent semantic basis for the analysis of concurrent constraint logic programs
• The semantics of constraint logic programs1Note that reviewing of this paper was handled by the Editor-in-Chief.1

Cited in

(22)

• A fully abstract semantics for concurrent constraint programming
• Truly concurrent constraint programming
• Linear concurrent constraint programming: Operational and phase semantics
• Semantics of multiway dataflow constraint systems
• On concurrent behaviors and focusing in linear logic
• Bisimilarity in concurrent constraint programming
• A proof theoretic study of soft concurrent constraint programming
• Observational equivalences for linear logic concurrent constraint languages
• scientific article; zbMATH DE number 4050951 (Why is no real title available?)
• Concurrent constraint programming and non-commutative logic
• Efficient analysis of concurrent constraint logic programs
• scientific article; zbMATH DE number 794260 (Why is no real title available?)
• scientific article; zbMATH DE number 1405453 (Why is no real title available?)
• scientific article; zbMATH DE number 1406236 (Why is no real title available?)
• scientific article; zbMATH DE number 1444329 (Why is no real title available?)
• True concurrency semantics for a linear logic programming language with broadcast communication
• Unfolding and fixpoint semantics of concurrent constraint logic programs
• Proving concurrent constraint programming correct, revisited
• Closures and Modules Within Linear Logic Concurrent Constraint Programming
• scientific article; zbMATH DE number 970730 (Why is no real title available?)
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
• Implementing logical connectives in constraint programming

This page was built for publication: Logical semantics of concurrent constraint programming

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