Author:
Cavaliere Matteo,Mardare Radu
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Alberts, B., Johnson, A., Lewis, J., Raff, M., Roberts, K., Walter, P.: Molecular Biology of the Cell, 4th edn. Garland Publishing, Inc. (2002)
2. Caires, L., Cardelli, L.: A Spatial Logic for Concurrency (Part I). Information and Computation 186(2) (2003)
3. Lecture Notes in Computer Science;L. Caires,2002
4. Lecture Notes in Computer Science;L. Caires,2004
5. Cardelli, L., Gordon, A.D.: Anytime, Anywhere: Modal Logics for Mobile Ambients. In: Proceedings of the 27th ACM Symposium on Principles of Programming Languages (2000)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献