Browsing by Subject concurrent programming
Showing results 1 to 2 of 2
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 |