The Circal System. - Antonio Cerone; Alex J. Cowie; George J. Milne (AMAST, 1997)

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