Has anyone done any work on extending Rust's ownership model to a distributed system?
Conversation
Replying to
Perhaps you might be able to find stuff related to uniqueness types? “A Resource Analysis of the π-calculus” by Turon and Wand also looks potentially interesting: