Stochastic processes as concurrent constraint programs
- 1 January 1999
- proceedings article
- Published by Association for Computing Machinery (ACM)
- p. 189-202
- https://doi.org/10.1145/292540.292558
Abstract
No abstract availableThis publication has 22 references indexed in Scilit:
- Computing with continuous changeScience of Computer Programming, 1998
- Probabilistic predicate transformersACM Transactions on Programming Languages and Systems, 1996
- A calculus of stochastic systems for the specification, simulation, and hidden state estimation of mixed stochastic/nonstochastic systemsTheoretical Computer Science, 1995
- The complexity of probabilistic verificationJournal of the ACM, 1995
- The Esterel synchronous programming language: design, semantics, implementationScience of Computer Programming, 1992
- Bisimulation through probabilistic testingInformation and Computation, 1991
- A logic for reasoning about probabilitiesInformation and Computation, 1990
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987
- Probabilistic propositional temporal logicsInformation and Control, 1986
- Probabilistic logicArtificial Intelligence, 1986