Search the dblp DataBase

Publications of Author

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