Adding a Multichoice Receive Operator to Session Types
Prior work has modeled concurrent and distributed computation through
the connection of a linear sequent calculus and session-typed
message-passing In this paper, we extend this by adding a multiple
choice receive operator to better model concurrent applications with
the choice of multiple service providers. We provide example use cases
for such an operator and show how we can maintain and extend
design paradigms from distributed systems to fit with this new construct.