1. F. Baccelli, A. Jean-Marie, and Zhen Liu. A survey on solution methods for task graph models. In N. Gotz, U. Herzog, and M. Rettelbach, editors, Proc. of the QMIPS-Workshop on Formalism, Principles and State-of-the-art. Arbeitsberichte des IMMD 26(14). Universität Erlangen, 1993.
2. F. L. Baccelli, G. Cohen, G. J. Olsder, and J.-P. Quadrat. Synchronization and Linearity. An Algebra for Discrete Event Systems. John Wiley & Sons, 1992.
3. E. Brinksma, J.-P. Katoen, R. Langerak, and D. Latella. A stochastic causality-based process algebra. The Computer Journal, 38(7):552–565, 1995.
4. L. Cloth. Complete finite prefix for stochastic process algebra. Master’s thesis, RWTH Aachen, Department of Computer Science, 2000. available at ftp://ftp-lvs.informatik.rwth-aachen.de/pub/da/2000/cloth.ps.gz .
5. Lect Notes Comput Sci;J. Esparza,1996