---

Here are some references to publications related to this research:

• William J. Knottenbelt, Mark A. Mestern, Peter G. Harrison and Pieter S. Kritzinger. Probability, parallelism and the state space exploration problem. In Lecture notes in Computer Science 1469: Proceedings of the 10th International Conference on Modelling, Techniques and Tools (TOOLS '98), pages 165-179, Palma de Mallorca, Spain, September 1998. Springer-Verlag.
• William J. Knottenbelt, Mark A. Mestern, Peter G. Harrison and Pieter S. Kritzinger. A probabilistic dynamic technique for the distributed generation of very large state spaces. Performance Evaluation, 1999 (To appear).
• William J. Knottenbelt and Peter G. Harrison. Distributed disk-based solution techniques for large Markov models. In Proceedings of the 3rd International Meeting on the Numerical Solution of Markov Chains (NSMC '99), Zaragoza, Spain, September 1999 (To appear).