Skip to menu
Skip to content
Skip to footer
Menu
Study
Research
Partners and community
About
Search
School of Electrical Engineering and Computer Science
Home
About
About
News
Events
Our people
Facilities
Occupational health and safety
Engineering and Technical Support Group
Study
Research
Research
Research Centres
Current students
Current students
Academic advice
Guidelines and policies for students
Postgraduate research students
Student Consultative Committee
Thesis coursework information
EECS Learning Centre tutors
Engage
Engage
Community workshops and events
Industry Advisory Board
Partner with us
Partner with us
Giving
Contact
Study
Research
Partners and community
About
UQ home
News
Events
Give
Contact
Search term
UQ home
News
Events
Give
Contact
School of Electrical Engineering and Computer Science
Menu
Home
About
Show About sub-navigation
News
Events
Our people
Facilities
Occupational health and safety
Engineering and Technical Support Group
Study
Research
Show Research sub-navigation
Research Centres
Current students
Show Current students sub-navigation
Academic advice
Guidelines and policies for students
Postgraduate research students
Student Consultative Committee
Thesis coursework information
EECS Learning Centre tutors
Engage
Show Engage sub-navigation
Community workshops and events
Industry Advisory Board
Partner with us
Partner with us
Giving
Contact
Emeritus Professor John Staples
Emeritus Professor
School of Electrical Engineering and Computer Science
j.staples@uq.edu.au
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
.