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

Keigo Imai, Julien Lange, Rumyana Neykova

Browse the full TACAS paper archive.