Author:
Cardelli Luca,Gardner Philippa
Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. Berry, G., Boudol, G.: The Chemical Abstract Machine. In: Proc. POPL 1989, pp. 81–94 (1989)
2. Cardelli, L., Gordon, A.D.: Mobile Ambients. In: Le Métayer, D. (ed.) Theoretical Computer Science, Special Issue on Coordination, vol. 240(1), pp. 177–213 (June 2000)
3. Coxeter, H.S.M.: Introduction to geometry. Wiley, Chichester (1961)
4. Lecture Notes in Computer Science;C. Fournet,1998
5. Gallier, J.: Geometric Methods and Applications for Computer Science and Engineering. Springer, Heidelberg (2001)
Cited by
33 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献