Stochastic processes as concurrent constraint programs (1999)

by Vineet Gupta , Radha Jagadeesan , Prakash Panangaden
Venue:In Symposium on Principles of Programming Languages
Citations:28 - 1 self

Documents Related by Co-Citation

442 Concurrent Constraint Programming – Vijay A. Saraswat, Martin Rinard - 1993
136 Semantics of probabilistic programs – D Kozen - 1981
58 IBAL: A Probabilistic Rational Programming Language – Avi Pfeffer - 2001
259 Semantic foundations of concurrent constraint programming – Vijay A. Saraswat, et al. - 1990
62 Timed Default Concurrent Constraint Programming – Vijay Saraswat, Radha Jagadeesan, Vineet Gupta - 1996
89 Foundations of Timed Concurrent Constraint Programming – Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta - 1994
11 Probabilistic LCF – N Saheb-Djahromi - 1978
266 A Guide to Simulation – P Bratley, B L Fox, L E Schrage - 1983
148 Introduction to Monte Carlo methods – D. J. C. Mackay - 1998
671 The Esterel Synchronous Programming Language: Design, Semantics, Implementation – Gerard Berry, Georges Gonthier, Ard Berry Georges Gonthier, Place Sophie Laltte - 1992
20 A finite delay operator in Synchronous CCS – R MILNER - 1992
59 Proving Concurrent Constraint Programs Correct – Frank S. de Boer, Maurizio Gabbrielli, Elena Marchiori, Catuscia Palamidessi - 1994
40 M.C.: A timed concurrent constraint language – F S de Boer, M Gabbrielli, Meo - 2000
1497 The Temporal Logic of Reactive and Concurrent Systems – Z Manna, A Pnueli - 1992
56 Stochastic Lambda Calculus and Monads of Probability Distributions – Norman Ramsey, Avi Pfeffer - 2002
46 Effective Bayesian Inference for Stochastic Programs – Daphne Koller, David Mcallester, Avi Pfeffer - 1997
620 Non-Uniform Random Variate Generation – Luc Devroye - 1986
21 Probabilistic Concurrent Constraint Programming – Vineet Gupta, Radha Jagadeesan, Vijay Saraswat - 1997
68 Temporal Concurrent Constraint Programming: Denotation, Logic and Applications – Mogens Nielsen, Catuscia Palamidessi, Frank D. Valencia - 2002