CCS, Liveness, and Local Model Checking in the Linear Time Mu-Calculus. - Colin Stirling; David Walker 002 (Automatic Verification Methods for Finite State Systems, 1989)

Some Results on the pi-Calculus. - David Walker 002 (Concurrency: Theory, Language, And Architecture, 1989)

Pi-Calculus Semantics of Object-Oriented Programming Languages. - David Walker 002 (TACS, 1991)

Local Model Checking in the Modal mu-Calculus. - Colin Stirling; David Walker 002 (Theor. Comput. Sci., 1991)

Cyber - Transparencies, Assurance and Deterrence. - Simon Reay Atkinson; David Walker 002; Kevin Beaulne; Liaquat Hossain (CyberSecurity, 2012)

Collaboration without Rules - A New Perspective on Stability Operations. - David Walker 002; Simon Reay Atkinson; Liaquat Hossain (SocialInformatics, 2012)