Publisher
Springer Berlin Heidelberg
Reference8 articles.
1. Lecture Notes in Computer Science;R. Milner,1980
2. Milner, R.: The Space and Motion of Communicating Agents. Cambridge University Press (2009)
3. Milner, R.: Communicating and Mobile Systems: the π-Calculus. Computer Laboratory, Cambridge University Press, University of Cambridge (1999)
4. Crazzolara, F., Winskel, G.: Composing Strand Spaces. BRICS Report Series RS-02-5 (2002)
5. Hennessy, M., Lin, H.: Symbolic Bisimulations. Theoretical Computer Science 138, 353–389 (1995)