π with Leftovers: A Mechanisation in Agda

von Zalakain, Uma
Veröffentlicht in FORTE (41. : 2021 : Online) Formal Techniques for Distributed Objects, Components, and Systems (2021)

SFJ: An Implementation of Semantic Featherweight Java

von Usov, Artem
Veröffentlicht in COORDINATION (22. : 2020 : Online) Coordination models and languages (2020)

Prioritise the Best Variation

von Kokke, Wen
Veröffentlicht in FORTE (41. : 2021 : Online) Formal Techniques for Distributed Objects, Components, and Systems (2021)

MAG: Types for Failure-Prone Communication

von Brun, Matthew Alan Le
Veröffentlicht in ESOP (32. : 2023 : Paris) Programming languages and systems (2023)

Coordination Models and Languages : 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, held as Part of the 16th International Federated Conference on Distributed Compu...

Veröffentlicht 2021

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)