Reconciling Communication Delays and Negation

von Cruz-Filipe, Luís
Veröffentlicht in ICTAC (19. : 2022 : Tiflis) Theoretical aspects of computing - ICTAC 2022 (2022)

Certifying Choreography Compilation

von Cruz-Filipe, Luis
Veröffentlicht in ICTAC (18. : 2021 : Online) Theoretical aspects of computing - ICTAC 2021 (2021)

Can You Answer While You Wait?

von Cruz-Filipe, Luis
Veröffentlicht in FoIKS (12. : 2022 : Helsinki) Foundations of information and knowledge systems (2022)

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)

Reasoning About Choreographic Programs

von Cruz-Filipe, Luís
Veröffentlicht in International Conference on Coordination Models and Languages (25. : 2023 : Lissabon) Coordination models and languages (2023)

Functional Choreographic Programming

von Cruz-Filipe, Luís
Veröffentlicht in ICTAC (19. : 2022 : Tiflis) Theoretical aspects of computing - ICTAC 2022 (2022)