2020 | |
[2] | Formal design of scalable conversation protocols using Event-B: Validation, experiments, and benchmarks , In J. Softw. Evol. Process., volume 32, 2020. [bib] [pdf] [doi] |
2018 | |
[1] | Incremental Construction of Realizable Choreographies , In Proceedings of NASA Formal Methods - 10th International Symposium, (NFM 2018), Newport News, USA, 2018. [bib] [pdf] [doi] |