1. Aceto, L., Murphy, D.: On the ill-timed but well-caused. In: Best [6], pp. 97–111
2. Aceto, L., Murphy, D.: Timing and causality in process algebra. Acta Informatica 33, 317–350 (1996)
3. Bednarczyk, M.A.: Hereditary history preserving bisimulation or what is the power of the future perfect in program logics. Technical report, Institute of Computer Science, Polish Academy of Science (1991)
4. Bergstra, J.A., Fokkink, W., Ponse, A.: Process algebra with recursive operations. In: Bergstra et al. [5], pp. 333–389
5. Bergstra, J.A., Ponse, A., Smolka, S.A. (eds.): Handbook of Process Algebra. North-Holland, Amsterdam (2001)