Gavin Lowe's Publications on Probabilistic Behaviour

Prioritized and Probabilistic Models of Timed CSP.

A paper describing the semantic models.
Technical report PRG-TR-24-91.

Probabilistic and Prioritized Models of Timed CSP

Similar to the above.
Theoretical Computer Science 138(1995) 315-352. (Special issue on the Mathematical Foundations of Programming Semantics conference, 1992).

Some Extensions to the Probabilistic, Biased Model of Timed~CSP.

Adds a few operators to the syntax, and makes a few other changes.
Technical Report PRG-TR-9-92.

Specification and Proof of Prioritized, Timed CSP Processes.

Uses the prioritized model to specify and verify processes.
Technical Report PRG-TR-17-92.

Relating the Prioritized Model of Timed CSP to the Timed Failures Model.

Produces an abstraction result between the two models.
Technical Report PRG-TR-18-92.

Specification and Proof in Probabilistic, Prioritized, Timed CSP.

Uses the probabilistic model to specify and verify processes.
Technical Report PRG-TR-23-92.

Probabilities and Priorities in Timed CSP

My DPhil thesis, covering all of the above.

Representing Nondeterminism and Probabilistic Behaviour in Reactive Processes

Describes an operational model for a language with both nondeterministic and probabilistic behaviour.
Technical Report PRG-TR-11-93.

Representing Nondeterministic and Probabilistic Behaviour in Reactive Processes

Similar to the above, but with a few additions. Forthcoming.