Karen Seidel

Probabilistic Communicating Processes

Karen Seidel, Karen Seidel, 1992, Theor. Comput. Sci..

Probabilistic predicate transformers

Annabelle McIver, Carroll Morgan, Karen Seidel, 1996, TOPL.

Probabilistic Models for the Guarded Command Language

Annabelle McIver, Jifeng He, Karen Seidel, 1997, Sci. Comput. Program..

Refinement-oriented probability for CSP

Annabelle McIver, Carroll Morgan, Jeff W. Sanders, 1996, Formal Aspects of Computing.

Structured development of a virtual shared memory system

Karen Seidel, Paul H. B. Gardiner, 2005, Formal Aspects of Computing.

Case Study: Specification and Refinement of the PI-Bus

Karen Seidel, 1994, FME.