Rusty变体：Rust中无死锁会话失败
Rusty Variation: Deadlock-free Sessions with Failure in Rust
摘要：
Rusty Variation（RV）是Rust中用于会话类型通信的库，它提供了强大的编译时正确性保证。使用RV编写的程序保证遵守指定的协议，并且保证没有死锁和竞争。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
