Publisher
Cambridge University Press
Cited by
57 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Towards formal model for location aware workflows;2023 IEEE 47th Annual Computers, Software, and Applications Conference (COMPSAC);2023-06
2. Store Locally, Prove Globally;Theoretical Aspects of Computing – ICTAC 2023;2023
3. MAG$$\pi $$: Types for Failure-Prone Communication;Programming Languages and Systems;2023
4. The Operational and Denotational Semantics of rMECal Calculus for Mobile Edge Computing;2022 26th International Conference on Engineering of Complex Computer Systems (ICECCS);2022-03
5. Processes, Systems & Tests: Defining Contextual Equivalences;Electronic Proceedings in Theoretical Computer Science;2021-10-02