Author:
Coppo Mario,Dezani-Ciancaglini Mariangiola,Venneri Betti
Publisher
Springer Science and Business Media LLC
Subject
Hardware and Architecture,Information Systems,Management Information Systems,Software
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On Formal Choreographic Modelling: A Case Study in EU Business Processes;Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles;2022
2. Static and dynamic property-preserving updates;Information and Computation;2021-08
3. Service Equivalence via Multiparty Session Type Isomorphisms;Electronic Proceedings in Theoretical Computer Science;2019-04-02
4. Guess Who’s Coming: Runtime Inclusion of Participants in Choreographies;The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy;2019
5. Data-driven adaptation for smart sessions;Journal of Logical and Algebraic Methods in Programming;2017-08