Typechecking Java Protocols with [St]Mungo

von Voinea, A. Laura
Veröffentlicht in FORTE (40. : 2020 : Online) Formal techniques for distributed objects, components, and systems (2020)

The Different Shades of Infinite Session Types

von Gay, Simon J.
Veröffentlicht in FOSSACS (25. : 2022 : München) Foundation of software science and computation structures (2022)