Effpi gains branching for existential external choice across channels plus timeout handling to support more expressive typed message-passing protocols such as Raft.
Barwell, Ping Hou, Nobuko Y oshida & Fangyi Zhou (2 023): Designing Asynchronous Multi- party Protocols with Crash-Stop Failures
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.PL 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Branching Out: Existential External Choice in Effpi
Effpi gains branching for existential external choice across channels plus timeout handling to support more expressive typed message-passing protocols such as Raft.