1. Lecture Notes in Computer Science;B Aman,2007
2. Lecture Notes in Computer Science;B Aman,2007
3. Baeten, J.C.M., Bergstra, J.A.: Real time process algebra. Technical report CS-R 9053, Centrum voor Wiskunde en Informatica (CWI) (1990)
4. Monographs in Computer Science. An EATSC series;JCM Baeten,2002
5. Ben-Yehuda, M., Day, M.D., Dubitzky, Z., Factor, M., Har’El, N., Gordon, A., Liguori, A., Wasserman, O., Yassour, B.: The turtles project: design and implementation of nested virtualization. In: Proceedings of the 9th Symposium on Operating Systems Design and Implementation (OSDI 2010), pp. 423–436. USENIX (2010)