Author:
Gorla Daniele,Pugliese Rosario
Publisher
Springer Berlin Heidelberg
Reference38 articles.
1. Abadi, M., Gordon, A.: A calculus for cryptographic protocols: The spi calculus. Information and Computation 148(1), 1–70 (1999)
2. Arnold, K., Freeman, E., Hupfer, S.: JavaSpaces Principles, Patterns and Practice. Addison-Wesley, Reading (1999)
3. Lecture Notes in Computer Science;M. Bugliesi,2001
4. Lecture Notes in Computer Science;M. Bugliesi,2001
5. Busi, N., Gorrieri, R., Lucchi, R., Zavattaro, G.: Secspaces: a data-driven coordination model for environments open to untrusted agents. To appear in FOCLASA 2002, ENTCS (2002)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Programming Multi-robot Systems with X-KLAIM;Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning;2022
2. X-Klaim Is Back;Models, Languages, and Tools for Concurrent and Distributed Programming;2019
3. Secure Data Flow in a Calculus for Context Awareness;Concurrency, Graphs and Models;2008
4. Coordination with Multicapabilities;Lecture Notes in Computer Science;2005
5. Global Computing in a Dynamic Network of Tuple Spaces;Lecture Notes in Computer Science;2005