Karen Seidel

	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		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		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

Coauthor Index

1	Paul H. B. Gardiner	[4]
2	Jifeng He	[6]
3	Annabelle McIver (A. K. McIver)	[3] [5] [6]
4	Carroll Morgan (Carroll C. Morgan)	[3] [5]
5	Jeff W. Sanders (Jeffrey W. Sanders)	[3]