1. Aceto, L., Hennessy, M.: Termination, deadlock and divergence. In: Mathematical Foundations of Programming Semantics, pp. 301–318. Springer, Heidelberg (1989)
2. Ash, R., Doléans-Dade, C.: Probability and measure theory. Academic Press, London (2000)
3. Athreya, K., Lahiri, S.: Measure theory and probability theory. Springer-Verlag New York Inc. (2006)
4. Aziz, A., Sanwal, K., Singhal, V., Brayton, R.: Model-checking continuous-time Markov chains. ACM Transactions on Computational Logic (TOCL) 1(1), 170 (2000)
5. Baeten, J.: Process algebra with explicit termination. Tech. rep. (2000)