| 2007 |
|---|
| 8 | EE | Petra Malik,
Robi Malik,
David Streader,
Steve Reeves:
Modular Synthesis of Discrete Controllers.
ICECCS 2007: 25-34 |
| 7 | EE | Steve Reeves,
David Streader:
Feature Refinement.
SEFM 2007: 371-380 |
| 2006 |
|---|
| 6 | EE | Steve Reeves,
David Streader:
Stepwise Refinement of Processes.
Electr. Notes Theor. Comput. Sci. 160: 275-289 (2006) |
| 5 | EE | Robi Malik,
David Streader,
Steve Reeves:
Conflicts and Fair Testing.
Int. J. Found. Comput. Sci. 17(4): 797-814 (2006) |
| 2005 |
|---|
| 4 | EE | Steve Reeves,
David Streader:
Constructing Programs or Processes.
J. UCS 11(12): 2034-2045 (2005) |
| 2004 |
|---|
| 3 | EE | Robi Malik,
David Streader,
Steve Reeves:
Fair Testing Revisited: A Process-Algebraic Characterisation of Conflicts.
ATVA 2004: 120-134 |
| 2 | EE | Steve Reeves,
David Streader:
Atomic Components.
ICTAC 2004: 128-139 |
| 2003 |
|---|
| 1 | EE | Steve Reeves,
David Streader:
Comparison of Data and Process Refinement.
ICFEM 2003: 266-285 |
