1. Inductive Diagrams for Causal Reasoning;Proceedings of the ACM on Programming Languages;2024-04-29
2. Choral: Object-oriented Choreographic Programming;ACM Transactions on Programming Languages and Systems;2024-01-16
3. Analyzing Realizability of BPMN Choreographies;2022 IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress (DASC/PiCom/CBDCom/CyberSciTech);2022-09-12
4. Controllable-Choice Message Sequence Graphs;Mathematical and Engineering Methods in Computer Science;2013
5. Strongly consistent transformation of partial scenarios;ACM SIGSOFT Software Engineering Notes;2012-07-16