Karen Seidel

Publication Activity (10 Years)

Years Active: 1994-1997
Publications (10 Years): 0

Publications

Jifeng He, Karen Seidel, Annabelle McIver
Probabilistic Models for the Guarded Command Language. Sci. Comput. Program. 28 (2-3) (1997)
Carroll Morgan, Annabelle McIver, Karen Seidel, Jeff W. Sanders
Refinement-Oriented Probability for CSP. Formal Aspects Comput. 8 (6) (1996)
Karen Seidel, Paul H. B. Gardiner
Structured Development of a Virtual Shared Memory System. Formal Aspects Comput. 8 (1) (1996)
Carroll Morgan, Annabelle McIver, Karen Seidel
Probabilistic Predicate Transformers. ACM Trans. Program. Lang. Syst. 18 (3) (1996)
Karen Seidel
Probabilistic Communicating Processes. Theor. Comput. Sci. 152 (2) (1995)
Karen Seidel
Case Study: Specification and Refinement of the PI-Bus. FME (1994)