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

Keigo Imai, Julien Lange, Rumyana Neykova

Research output: Contribution to journalConference articlepeer-review

50 Downloads (Pure)
Original languageEnglish
JournalLecture Notes in Computer Science
VolumeTACAS 2022
Publication statusAccepted/In press - 24 Dec 2021
EventTACAS 2022 -
Duration: 2 Apr 20227 Apr 2022

Cite this