Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types (Artifact) (2022)

First Author: Lagaillardie N

Attributed to: Turtles: Protocol-Based Foundations for Distributed Multiagent Systems funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.4230/darts.8.2.9

Publication URI: https://drops.dagstuhl.de/entities/document/10.4230/DARTS.8.2.9

Type: Other