6 citations · 6 across the 2 of their papers we have counts for
2 papers
cs.LO2024
Timeout Asynchronous Session Types: Safe Asynchronous Mixed-Choice For Timed Interactions
Jonah Pears, Laura Bocchi, Maurizio Murgia +1
Mixed-choice has long been barred from models of asynchronous communication since it compromises the decidability of key properties of communicating finite-state machines. Session…
cs.PL2023★ 6 cited
Safe asynchronous mixed-choice for timed interactions
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…