π-calculus, Session Types research at the University of Oxford
Dynamically Updatable Multiparty Session Protocols (DMst), a new MPST theory that supports protocols with an unbounded number of fresh participants, whose communication topologies are dynamically updatable. DMst guarantees deadlock-freedom and liveness.