Bate, M., Cowie, A., Milne, G., & Russell, G. (1995). Process algebras and the rapid simulation of highly concurrent systems. In Proceedings of the 18th Australasian Computer Science Conference (21-31)