Concepedia

David Streader

DS

Statistics

Publications

3

Citations

71

H-Index

3

Active since

2006

Affiliations

University of Waikato(Current)

David Streader is an author at University of Waikato specializing in process algebra equivalence, process algebra, and computing.

Publications per year

2006–2008

3

Publications

3

CONFLICTS AND FAIR TESTING

Robi Malik, David Streader, Steve Reeves · International Journal of Foundations of Computer Science · 2006 · 42 citations

, , +14

Modular Synthesis of Discrete Controllers

Petra Malik, Robi Malik, David Streader et al. · 2007 · 17 citations · Full text

, , +14

Data refinement and singleton failures refinement are not equivalent

Steve Reeves, David Streader · Formal Aspects of Computing · 2008 · 12 citations · Full text

, , +6

1–3 of 3