Conference ProceedingsOPEN ACCESS

Rusty Variation Deadlock-free Sessions with Failure in Rust

Electronic Proceedings in Theoretical Computer Science, EPTCS (2019) 304 48-60
DOI: 10.4204/EPTCS.304.4
21Citations
Citations of this article
7Readers
Mendeley users who have this article in their library.

Abstract

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.

Cite

CITATION STYLE

APA

Kokke, W. (2019). Rusty Variation Deadlock-free Sessions with Failure in Rust. In Electronic Proceedings in Theoretical Computer Science, EPTCS (Vol. 304, pp. 48–60). Open Publishing Association. https://doi.org/10.4204/EPTCS.304.4

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free