Author:
Cardelli Luca,Gordon Andrew D.
Cited by
197 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Choral: Object-oriented Choreographic Programming;ACM Transactions on Programming Languages and Systems;2024-01-16
2. Improved Model Checking Algorithm for Mobile Ambients;2023 4th International Symposium on Computer Engineering and Intelligent Communications (ISCEIC);2023-08-18
3. A Spatial Logic for Simplicial Models;Logical Methods in Computer Science;2023-07-26
4. Minimisation of Spatial Models Using Branching Bisimilarity;Formal Methods;2023
5. On Bisimilarity for Polyhedral Models and SLCS;Formal Techniques for Distributed Objects, Components, and Systems;2023