Author:
Merro Massimo,Hennessy Matthew
Cited by
33 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Scheduling in Real-Time Mobile Systems;ACM Transactions on Embedded Computing Systems;2022-05-28
2. A Verified Algebra for Linked Data;Electronic Proceedings in Theoretical Computer Science;2011-07-29
3. Environmental bisimulations for higher-order languages;ACM Transactions on Programming Languages and Systems;2011-01
4. Applying a testing approach to the Calculus of Fair Ambients;International Journal of Computer Mathematics;2009-12
5. Deciding reachability problems in Turing-complete fragments of Mobile Ambients;Mathematical Structures in Computer Science;2009-12