Session Types for Link Failures

DOI10.1007/978-3-319-60225-7_1zbMath1489.68396arXiv1607.07286OpenAlexW2619342549MaRDI QIDQ5082187

Manuel Adameit, Uwe Nestmann, Kirstin Peters

Publication date: 15 June 2022

Published in: Formal Techniques for Distributed Objects, Components, and Systems (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1607.07286

Mathematics Subject Classification ID

Distributed systems (68M14) Reliability, testing and fault tolerance of networks and computer systems (68M15) Distributed algorithms (68W15)

Related Items (2)

Fault-tolerant multiparty session types ⋮ A model of actors and grey failures

This page was built for publication: Session Types for Link Failures