Rusty Variation: Deadlock-free Sessions with Failure in Rust

Wen Kokke
(University of Edinburgh)

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.

In Massimo Bartoletti, Ludovic Henrio, Anastasia Mavridou and Alceste Scalas: Proceedings 12th Interaction and Concurrency Experience (ICE 2019), Copenhagen, Denmark, 20-21 June 2019, Electronic Proceedings in Theoretical Computer Science 304, pp. 48–60.
Published: 12th September 2019.
ArXived at: https://dx.doi.org/10.4204/EPTCS.304.4 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org