Case Study: Specification and Refinement of the PI-Bus. - Karen Seidel 002 (FME, 1994)

Probabilistic Communicating Processes. - Karen Seidel 002 (Theor. Comput. Sci., 1995)

Refinement-Oriented Probability for CSP. - Carroll Morgan; Annabelle McIver; Karen Seidel 002; Jeff W. Sanders (Formal Aspects Comput., 1996)

Structured Development of a Virtual Shared Memory System. - Karen Seidel 002; Paul H. B. Gardiner (Formal Aspects Comput., 1996)

Probabilistic Predicate Transformers. - Carroll Morgan; Annabelle McIver; Karen Seidel 002 (ACM Trans. Program. Lang. Syst., 1996)

Probabilistic Models for the Guarded Command Language. - Jifeng He 001; Karen Seidel 002; Annabelle McIver (Sci. Comput. Program., 1997)