Browsing by Author Imai, K

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 3 of 3
Issue DateTitleAuthor(s)
26-Nov-2019kmclib: Automated Inference and Verification of Session TypesImai, K; Lange, J; Neykova, R
30-Mar-2022Kmclib: Automated Inference and Verification of Session Types from OCaml ProgramsImai, K; Lange, J; Neykova, R
2020Multiparty Session Programming with Global Protocol CombinatorsImai, K; Neykova, R; Yoshida, N; Yuen, S