Checking safety in Exactly-once - Tomek Masternak, Szymon Pobiega
Channel: Markus Kuppe
Date: 2020-10-02

https://conf.tlapl.us/2020/06-Masternak_and_Pobiega-Checking_safety_in_Exactly-once-a_library_for_stronger_message_processing_guarantees.pdf