scientific article; zbMATH DE number 1113818

zbMATH Open0886.03024MaRDI QIDQ4375591FDOQ4375591

Authors: Paul Ruet 

Publication date: 8 February 1998

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 794260
• scientific article; zbMATH DE number 879003
• scientific article; zbMATH DE number 1223634
• 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

zbMATH Keywords

intuitionistic logiclinear logicconcurrent constraint programmingconcurrent constraint computation

Mathematics Subject Classification ID

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

Cited In (21)

• Title not available (Why is that?)
• Proving concurrent constraint programming correct, revisited
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
• Closures and Modules Within Linear Logic Concurrent Constraint Programming
• A fully abstract semantics for concurrent constraint programming
• Title not available (Why is that?)
• Title not available (Why is that?)
• Truly concurrent constraint programming
• On concurrent behaviors and focusing in linear logic
• Title not available (Why is that?)
• Semantics of multiway dataflow constraint systems
• Linear concurrent constraint programming: Operational and phase semantics
• True concurrency semantics for a linear logic programming language with broadcast communication
• Title not available (Why is that?)
• Efficient analysis of concurrent constraint logic programs
• Implementing logical connectives in constraint programming
• Title not available (Why is that?)
• A proof theoretic study of soft concurrent constraint programming
• Unfolding and fixpoint semantics of concurrent constraint logic programs
• Observational equivalences for linear logic concurrent constraint languages
• Bisimilarity in concurrent constraint programming

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 Q4375591)