Towards Multiparty Session Types for Highly-Concurrent and Fault-Tolerant Web Applications

Richard Casetta, Nils Gesbert, Pierre Genevès

Modern web applications combine persistent state updates, concurrent interactions, and unreliable communication with external services. Failures such as timeouts can occur after pa…