Kmclib: Automated Inference and Verification of Session Types from OCaml Programs

von Imai, Keigo
Veröffentlicht in TACAS (28. : 2022 : München) Tools and algorithms for the construction and analysis of systems ; Part 1 (2022)

Fair Refinement for Asynchronous Session Types

von Bravetti, Mario
Veröffentlicht in FOSSACS (24. : 2021 : Online) Foundations of software science and computation structures (2021)

A Session Subtyping Tool

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

Checking Data-Race Freedom of GPU Kernels, Compositionally

von Cogumbreiro, Tiago
Veröffentlicht in CAV (33. : 2021 : Online) Computer aided verification ; Part 1 (2021)