dblp.uni-trier.dewww.uni-trier.de

David Streader

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Petra Malik [8]
2Robi Malik [3] [5] [8]
3Steve Reeves [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)