Antonio Cerone, George J. Milne. Specification of Timing Constraints within the Circal Process Algebra. In Michael Johnson, editor, Algebraic Methodology and Software Technology, 6th International Conference, AMAST 97, Sydney, Australia, December 13-17, 1997, Proceedings. Volume 1349 of Lecture Notes in Computer Science, pages 108-122, Springer, 1997.
Abstract is missing.