ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Wed 10 Apr 2019 15:00 - 15:30 at SUN II - Concurrency and Distribution Chair(s): Luca Padovani

This paper introduces a new categorical structure that is a model of a variant of the i/o-typed pi-calculus, in the same way that a cartesian closed category is a model of the \lambda-calculus. To the best of our knowledge, no categorical model has been given for the i/o-typed pi-calculus, in contrast to session-typed calculi, to which corresponding logic and categorical structure were given. The categorical structure introduced in this paper has a simple definition, combining two well-known structures, namely, closed Freyd category and compact closed category. The former is a model of effectful computation in a general setting, and the latter describes connections via channels, which cause the effect we focus on in this paper. To demonstrate relevance of the categorical model, we show by a semantics consideration that the pi-calculus is equivalent to a core calculus of concurrent ML.

Wed 10 Apr

esop-2019-papers
14:00 - 16:00: ESOP 2019 - Concurrency and Distribution at SUN II
Chair(s): Luca PadovaniUniversity of Turin
esop-2019-papers14:00 - 14:30
Talk
Laura BocchiUniversity of Kent, Maurizio Murgia, Vasco Thudichum Vasconcelos, Nobuko YoshidaImperial College London
Link to publication
esop-2019-papers14:30 - 15:00
Talk
Stephanie BalzerCarnegie Mellon University, Bernardo ToninhoImperial College London, Frank PfenningCarnegie Mellon University, USA
Link to publication
esop-2019-papers15:00 - 15:30
Talk
Ken SakayoriThe University of Tokyo, Takeshi TsukadaUniversity of Tokyo, Japan
Link to publication
esop-2019-papers15:30 - 16:00
Talk
Link to publication