Temporal Logic

Ian Hodkinson:
Department of Computing
Imperial College
180 Queen's Gate
London SW7 2BZ, UK
imh@doc.ic.ac.uk

Mark Reynolds
School of Information Technology
Murdoch University
Murdoch, Perth, Western Australia 6150
Australia
M.Reynolds@murdoch.edu.au