Collaborated with:
Simon Fowler 0001 S.Lindley J.G.Morris
Talks about:
session (2) type (2) asynchron (1) without (1) except (1) tier (1)
Person: Sára Decova
DBLP: Decova:S=aacute=ra
Contributed to:
Wrote 1 papers:
- POPL-2019-FowlerLMD
- Exceptional asynchronous session types: session types without tiers (SF0, SL, JGM, SD), p. 29.