Probabilistic concurrent constraint programming

DOI10.1007/3-540-63141-0_17MaRDI QIDQ6044121zbMATH OpenOpenAlexFDO

Authors Vineet Gupta, Radha Jagadeesan, Vijay Saraswat

Publication date 17 May 2023

Published in CONCUR '97: Concurrency Theory (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Theory of programming languages (68N15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Recommendations

• Logic Programming
• scientific article; zbMATH DE number 1444329
• Truly concurrent constraint programming
• Non-determinism and Probabilities in Timed Concurrent Constraint Programming
• A timed concurrent constraint language.

Cites work

• A calculus of stochastic systems for the specification, simulation, and hidden state estimation of mixed stochastic/nonstochastic systems
• A logic for reasoning about probabilities
• Bisimulation through probabilistic testing
• scientific article; zbMATH DE number 4179422 (Why is no real title available?)
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 526071 (Why is no real title available?)
• scientific article; zbMATH DE number 4185071 (Why is no real title available?)
• Probabilistic logic
• Probabilistic propositional temporal logics
• Statecharts: a visual formalism for complex systems
• Testing preorders for probabilistic processes

Cited in

(19)

• A general approach to reasoning with probabilities
• From distributions to probabilistic reactive programs
• Probabilistic configuration theories
• Computing Behavioral Relations for Probabilistic Concurrent Systems
• Probabilistic programming with coordination
• Denotational semantics for a probabilistic timed shared-variable language
• scientific article; zbMATH DE number 1324652 (Why is no real title available?)
• Linear Structures for Concurrency in Probabilistic Programming Languages
• Probabilistic confinement in a declarative framework
• scientific article; zbMATH DE number 1420826 (Why is no real title available?)
• scientific article; zbMATH DE number 1444329 (Why is no real title available?)
• Open Bisimulation for the Concurrent Constraint Pi-Calculus
• Logic Programming
• Non-determinism and Probabilities in Timed Concurrent Constraint Programming
• Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming
• Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
• Conditioning in probabilistic programming
• Stochastic concurrent constraint programming
• Confidence-based reasoning in stochastic constraint programming

This page was built for publication: Probabilistic concurrent constraint programming

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