Author:
Qiu Zongyan,Zhao Xiangpeng,Cai Chao,Yang Hongli
Cited by
56 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Choral: Object-oriented Choreographic Programming;ACM Transactions on Programming Languages and Systems;2024-01-16
2. HasChor: Functional Choreographic Programming for All (Functional Pearl);Proceedings of the ACM on Programming Languages;2023-08-30
3. Verification of Distributed Systems via Sequential Emulation;ACM Transactions on Software Engineering and Methodology;2022-03-07
4. Pirouette: higher-order typed functional choreographies;Proceedings of the ACM on Programming Languages;2022-01-12
5. On Formal Choreographic Modelling: A Case Study in EU Business Processes;Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles;2022