• Deadlock-free asynchronous mes...

Treffer: Deadlock-free asynchronous message reordering in rust with multiparty session types

Title:
Deadlock-free asynchronous message reordering in rust with multiparty session types
Authors:
Cutner, Zak, Yoshida, Nobuko, Vassor, Martin
Source:
Proceedings of the 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. :246-261
Availability:
http://dl.acm.org/doi/10.1145/3503221.3508404
Database:
ACM Full-Text Collection