1. Nielsen, M., Plotkin, G.D., Winskel, G.: Petri nets, event structures and domains, part 1. Theor. Comput. Sci. 13, 85–108 (1981)
2. Winskel, G., Nielsen, M.: Models for concurrency. In: Handbook of logic in computer science, of Handb. Log. Comput. Sci., vol. 4, pp. 1–148. Oxford Univ. Press, New York (1995)
3. Lecture Notes in Computer Science;G. Winskel,1982
4. Varacca, D., Yoshida, N.: Typed event structures and the pi-calculus: Extended abstract. Electr. Notes Theor. Comput. Sci. 158, 373–397 (2006)
5. Faggian, C., Maurel, F.: Ludics nets, a game model of concurrent interaction. In: LICS, pp. 376–385. IEEE Computer Society Press, Los Alamitos (2005)