Asynchronous Global Types in Co-logic Programming

von Bianchini, Riccardo
Veröffentlicht in DisCoTec (16. : 2021 : Online) Coordination Models and Languages (2021)

Deconfined Global Types for Asynchronous Sessions

von Dagnino, Francesco
Veröffentlicht in DisCoTec (16. : 2021 : Online) Coordination Models and Languages (2021)

Soundness Conditions for Big-Step Semantics

von Dagnino, Francesco
Veröffentlicht in ESOP (29. : 2020 : Online) Programming languages and systems (2020)