Publisher
Springer Berlin Heidelberg
Reference36 articles.
1. Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall, Englewood Cliffs (1985)
2. Segala, R.: Testing probabilistic automata. Proceedings of the 7th International Conference on Concurrency Theory. Lecture Notes in Computer Science, vol. 1119, pp. 299–314. Springer, Heidelberg (1996)
3. De Nicola, R., Hennessy, M.: Testing equivalences for processes. Theor. Comput. Sci. 34, 83–133 (1984)
4. Hennessy, M.: An Algebraic Theory of Processes. The MIT Press, Cambridge (1988)
5. Yi, W., Larsen, K.G.: Testing probabilistic and nondeterministic processes. Proceedings of the IFIP TC6/WG6.1 12th International Symposium on Protocol Specification, Testing and Verification, IFIP Transactions, vol. C-8, pp. 47–61. North-Holland (1992)