Publisher
Springer Berlin Heidelberg
Reference10 articles.
1. Gardiner, P.: Power simulation and its relation to traces and failures refinement. Theor. Comput. Sci. 309(1-3), 157–176 (2003)
2. Lecture Notes in Computer Science;M.C.B. Hennessy,1980
3. Hoare, C.A.R.: Communicating sequential processes. Communications of the ACM 21(8), 666–677 (1978)
4. Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall, Englewood Cliffs (1985)
5. Brookes, S., Hoare, C.A.R., Roscoe, A.W.: A Theory of Communicating Sequential Processes. Journal of the ACM 31(3), 560–599 (1984)