Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Pears, Jonah"'
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 types inherit this restriction, which precludes them from fully modell
Externí odkaz:
http://arxiv.org/abs/2401.11197
Publikováno v:
COORDINATION 2023: Lecture Notes in Computer Science, volume 13908, pages 214--231
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 restriction, which precludes them from fully modelling timeouts -- a ke
Externí odkaz:
http://arxiv.org/abs/2307.12688