Guy A. T'Hooft Four Operators to Express Time Constraints in a Process Algebra. 174-188 1989 conf/kivs/1989 Kommunikation in Verteilten Systemen db/conf/kivs/kivs89.html#THooft89