Browsing by Author Imai, K
Showing results 1 to 3 of 3
Issue Date | Title | Author(s) |
---|---|---|
26-Nov-2019 | kmclib: Automated Inference and Verification of Session Types | Imai, K; Lange, J; Neykova, R |
30-Mar-2022 | Kmclib: Automated Inference and Verification of Session Types from OCaml Programs | Imai, K; Lange, J; Neykova, R |
2020 | Multiparty Session Programming with Global Protocol Combinators | Imai, K; Neykova, R; Yoshida, N; Yuen, S |