 | 2009 |
|---|
| 13 |       | Steve Reeves,
David Streader:
A Robust Semantics Hides Fewer Errors.
FM 2009: 499-515 |
| 2008 |
|---|
| 12 | | Steve Reeves,
David Streader:
Generic Tools via General Refinement.
Electr. Notes Theor. Comput. Sci. 207: 187-202 (2008) |
| 11 | | Steve Reeves,
David Streader:
General Refinement, Part One: Interfaces, Determinism and Special Refinement.
Electr. Notes Theor. Comput. Sci. 214: 277-307 (2008) |
| 10 | | Steve Reeves,
David Streader:
General Refinement, Part Two: Flexible Refinement.
Electr. Notes Theor. Comput. Sci. 214: 309-329 (2008) |
| 9 | | Steve Reeves,
David Streader:
Data refinement and singleton failures refinement are not equivalent.
Formal Asp. Comput. 20(3): 295-301 (2008) |
| 2007 |
|---|
| 8 | | Petra Malik,
Robi Malik,
David Streader,
Steve Reeves:
Modular Synthesis of Discrete Controllers.
ICECCS 2007: 25-34 |
| 7 | | Steve Reeves,
David Streader:
Feature Refinement.
SEFM 2007: 371-380 |
| 2006 |
|---|
| 6 | | Steve Reeves,
David Streader:
Stepwise Refinement of Processes.
Electr. Notes Theor. Comput. Sci. 160: 275-289 (2006) |
| 5 | | Robi Malik,
David Streader,
Steve Reeves:
Conflicts and Fair Testing.
Int. J. Found. Comput. Sci. 17(4): 797-814 (2006) |
| 2005 |
|---|
| 4 | | Steve Reeves,
David Streader:
Constructing Programs or Processes.
J. UCS 11(12): 2034-2045 (2005) |
| 2004 |
|---|
| 3 | | Robi Malik,
David Streader,
Steve Reeves:
Fair Testing Revisited: A Process-Algebraic Characterisation of Conflicts.
ATVA 2004: 120-134 |
| 2 | | Steve Reeves,
David Streader:
Atomic Components.
ICTAC 2004: 128-139 |
| 2003 |
|---|
| 1 | | Steve Reeves,
David Streader:
Comparison of Data and Process Refinement.
ICFEM 2003: 266-285 |
