Dr Lorraine Staehr Department of Computer Science and Computer Engineering, La Trobe University, Australia