Rusty Variation: Deadlock-free Sessions with Failure in Rust
Wen Kokke · Electronic Proceedings in Theoretical Computer Science · 2019
Rusty Variation (RV) is a library for session-typed communication in Rust which offers strong compile-time correctness guarantees. Programs written using RV are guaranteed to respect a specified protocol, and are guaranteed to be free from deadlocks and races.