1. Bednarczyk, M., Categories of Asynchronous Systems. Ph.D. Thesis in Computer Science, Univ. of Sussex, Report No. 1/88, 1988.
2. Cattani, G.L., Fiore, M., Winskel,G., A Theory of Recursive Domains with Applications to Concurrency. To appear in Proceedings of LICS'98.
3. De Nicola, R., Montanari, U., and Vaandrager, F., Back and Forth Bisimulations. Proceedings of CONCUR'90, Springer Lecture Notes in Computer Science 458, pp. 152–165, 1990.
4. Hoare, C.A.R., Communicating Sequential Processes. Prentice Hall,1985.
5. Hune, T., Nielsen, M., Timed Bisimulation and Open Maps. In this volume.