A Banach space based semantics for probabilistic concurrent constraint programming

MaRDI QIDQ4953364zbMATH OpenFDO

Authors Alessandra Di Pierro, Herbert Wiklicky

Publication date 21 January 2001

zbMATH Keywords

concurrent constraint programming

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• Probabilistic concurrent constraint programming
• Logic Programming
• Probabilistic concurrent Kleene algebra
• A fully abstract semantics for concurrent constraint programming
• A confluent calculus for concurrent constraint programming
• scientific article; zbMATH DE number 1332640
• Non-determinism and Probabilities in Timed Concurrent Constraint Programming
• Linear Structures for Concurrency in Probabilistic Programming Languages
• Probabilistic confinement in a declarative framework
• Logical semantics of concurrent constraint programming

Cited in

(11)

• Prioritised fuzzy constraint satisfaction problems: Axioms, instantiation and validation
• A general approach to reasoning with probabilities
• Models and emerging trends of concurrent constraint programming
• Distributional logic programming for Bayesian knowledge representation
• Semantics of probabilistic programs: a weak limit approach
• Stochastic programs and hybrid automata for (biological) modeling
• scientific article; zbMATH DE number 1324652 (Why is no real title available?)
• Probabilistic confinement in a declarative framework
• Non-determinism and Probabilities in Timed Concurrent Constraint Programming
• Probabilistic concurrent constraint programming
• Stochastic concurrent constraint programming

This page was built for publication: A Banach space based semantics for probabilistic concurrent constraint programming

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