Fault-Tolerant Multiparty Session Types (Technical Report).

Kirstin Peters Uwe Nestmann Christoph Wagner

Published in: CoRR (2022)

Keyphrases

fault tolerant
multi party
technical report
fault tolerance
distributed systems
high availability
privacy preserving
load balancing
mobile agent system
description language
artificial intelligence
state machine