Rusty Variation: Deadlock-free Sessions with Failure in Rust

09/12/2019

∙

by   Wen Kokke, et al.

∙

0

∙

share

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.