From Infinity to Choreographies - Extraction for Unbounded Systems.

Bjrn Angel Kjr, Lus Cruz-Filipe, Fabrizio Montesi

Browse the full LOPSTR paper archive.