Author:
Kaufman Renata,Sampaio Augusto,Mota Alexandre
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Fischer, C.: Combination and Implementation of Processes and Data From CSP-OZ to Java. PhD thesis, Oldenburg University (2000)
2. Lecture Notes in Computer Science;A. Sampaio,2002
3. Galloway, A.J., Stoddart, W.: An operational semantics for ZCCS. In: Hinchey, M., Liu, S. (eds.) International Conference of Formal Engineering Methods (ICFEM), pp. 272–282. IEEE Computer Press, Los Alamitos (1997)
4. Hoare, C.: Communicating Sequential Processes. Prentice-Hall International, Englewood Cliffs (1985)
5. Lecture Notes in Computer Science;G. Smith,1997