The words contained in this file might help you see if this file matches what you are looking for:

...Stay safe under panic affine rust programming with multiparty session types nicolas lagaillardie department of computing imperial college london sw az united kingdom rumyana neykova computer science brunel university ub ph nobuko yoshida abstract communicating systems comprise diverse software components across networks to ensure their robustness modern languages such as provide both strongly typed channels whose usage is guaranteed be at most once and cancellation operations over binary for coordinating correctly communicate synchronize each other we use the structuring mechanism from extending it communication implicit explicit mechanisms this new typing discipline ampst ensures termination multiple independently running guarantees that will not get stuck due error or abrupt guided by implemented an automated generation tool multicrusty apis associated algorithms which compiler auto detects unsafe programs our evaluation shows provides efficient synchronization propagation notication...