Nurulhuda A. Manaf, Nor Najihah Zainal Abidin, Nur Amalina Jamaludin. Correctness of Automatically Generated Choreography Specifications. In Sotiris Moschoyiannis, Rafael Peñaloza, Jan Vanthienen, Ahmet Soylu, Dumitru Roman, editors, Rules and Reasoning - 5th International Joint Conference, RuleML+RR 2021, Leuven, Belgium, September 13-15, 2021, Proceedings. Volume 12851 of Lecture Notes in Computer Science, pages 18-32, Springer, 2021. [doi]
Abstract is missing.