Author:
Charatonik Witold,Gordon Andrew D.,Talbot Jean-Marc
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. R.M. Amadio and Ch. Meyssonnier. On the decidability of fragments of the asynchronous pi-calculus. In Electronic Notes in Theoretical Computer Science, Proceedings EXPRESS 2001, 2001.
2. M. Bugliesi and G. Castagna. Secure safe ambients. In 28th ACM Symposium on Principles of Programming Languages (POPL’01), pages 222–235, 2001.
3. Lect Notes Comput Sci;L. Cardelli,1999
4. L. Cardelli and A. D. Gordon. Modal logics for mobile ambients: Semantic reasoning. Unpublished annex to [5], 1999.
5. L. Cardelli and A. D. Gordon. Anytime, anywhere: Modal logics for mobile ambients. In Proceedings POPL’00, pages 365–377. ACM, January 2000.
Cited by
25 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Towards automating microservices orchestration through data-driven evolutionary architectures;Service Oriented Computing and Applications;2024-02-27
2. Improved Model Checking Algorithm for Mobile Ambients;2023 4th International Symposium on Computer Engineering and Intelligent Communications (ISCEIC);2023-08-18
3. Assumption-Commitment Types for Resource Management in Virtually Timed Ambients;Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles;2020
4. A static verification framework for message passing in Go using behavioural types;Proceedings of the 40th International Conference on Software Engineering;2018-05-27
5. Typed context awareness Ambient Calculus for pervasive applications;Formal Aspects of Computing;2015-11