D. J. Walker

Helmet mounted display system for attack helicopters

D. J. Walker, R. W. Verona, J. H. Brindle, 1980 .

Bisimulations and divergence

D. J. Walker, D. Walker, 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.

Bisimulation and Divergence

D. J. Walker, D. Walker, 1990, Inf. Comput..

Automated analysis of mutual exclusion algorithms using CCS

D. J. Walker, D. Walker, D. Walker, 1989, Formal Aspects of Computing.

On the Transversal Hypothesis and the Weak Kurepa Hypothesis

D. J. Walker, 1988, J. Symb. Log..