From Infinity to Choreographies - Extraction for Unbounded Systems. - Bjørn Angel Kjær; Luís Cruz-Filipe; Fabrizio Montesi (LOPSTR, 2022)