Session-Based Distributed Programming in Java

Related papers

• Modular session types for distributed object-oriented programming POPL 2010
• Type-Safe Eventful Sessions in Java ECOOP 2010
• The Future of Distributed Object Computing - Panel Session OOPSLA 1995
• Multiparty Session Typing in Java, Deductively TACAS 2023
• A session type provider: compile-time API generation of distributed protocols with refinements in F# CC 2018
• A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming ECOOP 2017
• A multiparty session typing discipline for fault-tolerant event-driven distributed programming OOPSLA 2021
• Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures POPL 2019