Probabilistic concurrent constraint programming

This publication has 18 references indexed in Scilit:

• Probabilistic predicate transformers
  ACM Transactions on Programming Languages and Systems, 1996
• A calculus of stochastic systems for the specification, simulation, and hidden state estimation of mixed stochastic/nonstochastic systems
  Theoretical Computer Science, 1995
• Interaction Categories
  Published by Springer Nature ,1993
• Bisimulation through probabilistic testing
  Information and Computation, 1991
• The synchronous approach to reactive and real-time systems
  Proceedings of the IEEE, 1991
• A logic for reasoning about probabilities
  Information and Computation, 1990
• Stochastic Petri nets: An elementary introduction
  Published by Springer Nature ,1990
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987
• Probabilistic propositional temporal logics
  Information and Control, 1986
• Probabilistic logic
  Artificial Intelligence, 1986