Author:
Bruni Roberto,Lanese Ivan
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Abadi, M., Fournet, C.: Mobile values, new names, and secure communication. In: Proc. of POPL 2001, pp. 104–115. ACM Press, New York (2001)
2. Baeten, J.C.M., Weijland, W.P.: Process algebra. Cambridge University Press, Cambridge (1990)
3. Lecture Notes in Computer Science;M. Boreale,2004
4. Lecture Notes in Computer Science;S. Zilio Dal,2000
5. Degano, P., Montanari, U.: A model for distributed systems based on graph rewriting. Journal of the ACM 34(2), 411–449 (1987)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献