A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Two sides of the same coin: session types and game semantics: a synchronous side and an asynchronous side
2019
Proceedings of the ACM on Programming Languages (PACMPL)
Game semantics and session types are two formalisations of the same concept: message-passing open programs following certain protocols. Game semantics represents protocols as games, and programs as strategies; while session types specify protocols, and well-typed π -calculus processes model programs. Giving faithful models of the π -calculus and giving a precise description of strategies as a programming language are two difficult problems. In this paper, we show how these two problems can be
doi:10.1145/3290340
fatcat:cg4s25foebdnxcrt4bcpna4h2y