6 citations · 6 across the 1 of their papers we have counts for
1 paper
Jonah Pears, Laura Bocchi, Andy King
Mixed-choice has long been barred from models of asynchronous communication since it compromises key properties of communicating finite-state machines. Session types inherit this r…