Modelling a Time-Dependent Protocol Using the Circal Process Algebra. - Cerone, Antonio; Cowie, Alex J.; Milne, George J.; Moseley, Philip A. (1997)