Roger Hale Ben C. Moszkowski Parallel Programming in Temporal Logic. 277-296 1987 conf/parle/1987-2 PARLE (2) db/conf/parle/parle87-2.html#HaleM87 http://dx.doi.org/10.1007/3-540-17945-3_16