FTMPST: Fault-Tolerant Multiparty Session Types.

Kirstin Peters Uwe Nestmann Christoph Wagner

Published in: Log. Methods Comput. Sci. (2023)

Keyphrases

fault tolerant
multi party
fault tolerance
distributed systems
privacy preserving
load balancing
high availability
safety critical
high assurance
state machine
mobile agent system
database systems
dynamic environments
orders of magnitude
human communication
turn taking