Runtime Monitoring with Recovery of the SENT Communication Protocol
Abstract elided by the publisher.
Related papers
- Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption CAV 2022
- On the Monitorability of Session Types, in Theory and Practice ECOOP 2021
- Discourje: Runtime Verification of Communication Protocols in Clojure TACAS 2020
- Let it recover: multiparty protocol-induced recovery CC 2017
- Making trace monitors feasible OOPSLA 2007
- NEST: Network Enforced Session Types ECOOP 2026
- Transparent fault tolerance for scalable functional computation JFP 2016
- Object Lessons Learned from a Distributed System for Remote Building Monitoring and Operation OOPSLA 1998