| |
| 1997 | ||
|---|---|---|
| 6 | Jifeng He, Karen Seidel, Annabelle McIver: Probabilistic Models for the Guarded Command Language. Sci. Comput. Program. 28(2-3): 171-192 (1997) | |
| 1996 | ||
| 5 | EE | Carroll Morgan, Annabelle McIver, Karen Seidel: Probabilistic Predicate Transformers. ACM Trans. Program. Lang. Syst. 18(3): 325-353 (1996) |
| 4 | Karen Seidel, Paul H. B. Gardiner: Structured Development of a Virtual Shared Memory System. Formal Asp. Comput. 8(1): 67-85 (1996) | |
| 3 | Carroll Morgan, Annabelle McIver, Karen Seidel, Jeff W. Sanders: Refinement-Oriented Probability for CSP. Formal Asp. Comput. 8(6): 617-647 (1996) | |
| 1995 | ||
| 2 | EE | Karen Seidel: Probabilistic Communicating Processes. Theor. Comput. Sci. 152(2): 219-249 (1995) |
| 1994 | ||
| 1 | Karen Seidel: Case Study: Specification and Refinement of the PI-Bus. FME 1994: 532-546 | |
| 1 | Paul H. B. Gardiner | [4] |
| 2 | Jifeng He | [6] |
| 3 | Annabelle McIver | [3] [5] [6] |
| 4 | Carroll Morgan | [3] [5] |
| 5 | Jeff W. Sanders | [3] |