1. J.C.M. Baeten & J.A. Bergstra, Real time process algebra, Formal Aspects of Computing 3 (2), 1991, pp. 142–188.
2. J.C.M. Baeten & J.A. Bergstra, Real space process algebra, in: Proc. CONCUR’91, Amsterdam (J.C.M. Baeten & J.F. Groote, eds.), Springer LNCS 527, 1991, pp. 96–110.
3. J.C.M. Baeten & J.A. Bergstra, Asynchronous communication in real space process algebra, in: Proc. Formal Techniques in Real-Time and Fault-Tolerant Systems, Nijmegen 1992 (J. Vytopil, ed.), Springer LNCS 571, 1991, pp. 473–492.
4. J.C.M. Baeten, J.A. Bergstra & S.A. SMOLKA, Axiomatizing probabilistic processes: ACP with generative probabilities, in: Proc. CONCUR’92, Stony Brook (W.R. Cleaveland, ed.), Springer LNCS 630, 1992, pp. 472–485.
5. J.C.M. Baeten & W.P. Wegland, Process algebra, Cambridge Tracts in Theor. Comp. Sci. 18, Cambridge University Press 1990.