Simon Castellan, Nobuko Yoshida
Two sides of the same coin: session types and game semantics: a synchronous side and an asynchronous side
POPL, 2019.
@article{POPL-2019-CastellanY, author = "Simon Castellan and Nobuko Yoshida", doi = "10.1145/3290340", journal = "{Proceedings of the ACM on Programming Languages}", number = "POPL", pages = "29", publisher = "{ACM}", title = "{Two sides of the same coin: session types and game semantics: a synchronous side and an asynchronous side}", volume = 3, year = 2019, }