Probabilistic concurrent constraint programming

DOI10.1007/3-540-63141-0_17zbMath1512.68153OpenAlexW1484903112MaRDI QIDQ6044121

Vijay Saraswat, Vineet Gupta, Radha Jagadeesan

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

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) 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)

Related Items (3)

Conditioning in probabilistic programming ⋮ A general approach to reasoning with probabilities ⋮ Open Bisimulation for the Concurrent Constraint Pi-Calculus

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Probabilistic logic
• Statecharts: a visual formalism for complex systems
• Bisimulation through probabilistic testing
• A calculus of stochastic systems for the specification, simulation, and hidden state estimation of mixed stochastic/nonstochastic systems
• A logic for reasoning about probabilities
• Probabilistic propositional temporal logics
• Testing preorders for probabilistic processes

This page was built for publication: Probabilistic concurrent constraint programming