Search the dblp DataBase

Publications of Author

1. Robi Malik, David Streader, Steve Reeves
   Fair Testing Revisited: A Process-Algebraic Characterisation of Conflicts. [Citation Graph (0, 0)][DBLP]
   ATVA, 2004, pp:120-134 [Conf]
   
2. Steve Reeves, David Streader
   Comparison of Data and Process Refinement. [Citation Graph (0, 0)][DBLP]
   ICFEM, 2003, pp:266-285 [Conf]
   
3. Steve Reeves, David Streader
   Atomic Components. [Citation Graph (0, 0)][DBLP]
   ICTAC, 2004, pp:128-139 [Conf]
   
4. Steve Reeves, David Streader
   Stepwise Refinement of Processes. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:160, n:, pp:275-289 [Journal]
   
5. Robi Malik, David Streader, Steve Reeves
   Conflicts and Fair Testing. [Citation Graph (0, 0)][DBLP]
   Int. J. Found. Comput. Sci., 2006, v:17, n:4, pp:797-814 [Journal]
   
6. Steve Reeves, David Streader
   Constructing Programs or Processes. [Citation Graph (0, 0)][DBLP]
   J. UCS, 2005, v:11, n:12, pp:2034-2045 [Journal]
   
7. Petra Malik, Robi Malik, David Streader, Steve Reeves
   Modular Synthesis of Discrete Controllers. [Citation Graph (0, 0)][DBLP]
   ICECCS, 2007, pp:25-34 [Conf]
   
8. 
   A Robust Semantics Hides Fewer Errors. [Citation Graph (, )][DBLP]
   
   
9. 
   Feature Refinement. [Citation Graph (, )][DBLP]
   
   
10. 
    Generic Tools via General Refinement. [Citation Graph (, )][DBLP]
    
    
11. 
    General Refinement, Part One: Interfaces, Determinism and Special Refinement. [Citation Graph (, )][DBLP]
    
    
12. 
    General Refinement, Part Two: Flexible Refinement. [Citation Graph (, )][DBLP]
    
    
13. 
    Guarded Operations, Refinement and Simulation. [Citation Graph (, )][DBLP]