School of Electrical Engineering and Computer Science

Emeritus Professor John Staples

Emeritus Professor
School of Electrical Engineering and Computer Science

Publications

Journal Article (1)
Department Technical Report (1)

Journal Article

Staples, John and Nguyen, V.L. (1983). Computing the behaviour of asynchronous processes. Theoretical Computer Science, 26 (3), 343-353. doi: 10.1016/0304-3975(83)90017-8

Department Technical Report

Cheng, A. S. K., Robinson, P. J. and Staples, J. (1990). Higher Level Meta Programming in Qu-Prolog 3.0. Technical Report No. 90-01. Software Verification Research Centre, Department Of Computer Science, The University of Queensland.