1. Ingólfsdóttir, A., Lin, H.: A symbolic Approach to value passing Processes. In: Bergstra, J.A., Ponse, A., Smolka, S.A. (eds.) Handbook of Process Algebra, pp. 427–478. Elsevier, Amsterdam (2001)
2. Bossi, A., Piazza, C., Rossi, S.: Preserving (Security) Properties under Action Refinement. In: CILC 2004, Parma (June 2004)
3. Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall International, Englewood Cliffs (1985)
4. Bolton, C., Davies, J., Woodcock, J.: On the Refinement and Simulation of Data Types and Processes. In: IFM 1999. Proceedings of the 1st International Conference on Integrated Formal Methods, pp. 273–292. Springer, Heidelberg (1999)
5. Lecture Notes in Computer Science;H. Fecher,2002