Publisher
Cambridge University Press
Cited by
59 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Introducing SWIRL: An Intermediate Representation Language for Scientific Workflows;Lecture Notes in Computer Science;2024-09-11
2. Formal Language for Objects’ Transactions;Standards;2024-08-15
3. Towards formal model for location aware workflows;2023 IEEE 47th Annual Computers, Software, and Applications Conference (COMPSAC);2023-06
4. Store Locally, Prove Globally;Theoretical Aspects of Computing – ICTAC 2023;2023
5. MAG$$\pi $$: Types for Failure-Prone Communication;Programming Languages and Systems;2023