A calculus of stochastic systems for the specification, simulation, and hidden state estimation of mixed stochastic/nonstochastic systems

Stochastic processes as concurrent constraint programs

Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Stochastic lambda calculus and monads of probability distributions

POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Fault Detection and Diagnosis in Distributed Systems: An Approach by Partially Stochastic Petri Nets

Discrete Event Dynamic Systems

Bisimulation for labelled Markov processes

Information and Computation - Special issue: LICS'97

Rewriting logic and probabilities

RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications