From Infinity to Choreographies: Extraction for Unbounded Systems

von Kjaer, Bjørn Angel
Veröffentlicht in LOPSTR (32. : 2022 : Tiflis) Logic-based program synthesis and transformation (2022)