16 citations · 28 across the 6 of their papers we have counts for
3 papers · 1 filter
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…
Session Types as Generic Process Types
Simon J. Gay, Nils Gesbert, António Ravara
Behavioural type systems ensure more than the usual safety guarantees of static analysis. They are based on the idea of "types-as-processes", providing dedicated type algebras for…
Modular session types for objects
Simon J. Gay, Nils Gesbert, António Ravara +1
Session types allow communication protocols to be specified type-theoretically so that protocol implementations can be verified by static type checking. We extend previous work on…