Gianluca Filippone, Marco Autili, Massimo Tivoli. Towards the synthesis of context-aware choreographies. In 2020 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Coimbra, Portugal, October 12-15, 2020. pages 197-200, IEEE, 2020. [doi]
Abstract is missing.