Bjørn Angel Kjær, Luís Cruz-Filipe, Fabrizio Montesi. From Infinity to Choreographies - Extraction for Unbounded Systems. In Alicia Villanueva, editor, Logic-Based Program Synthesis and Transformation - 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings. Volume 13474 of Lecture Notes in Computer Science, pages 103-120, Springer, 2022. [doi]
Abstract is missing.