We analyze in game-semantical terms the finitary fragment of the linear π-calculus. This calculus was introduced by Yoshida, Honda, and Berger [NYB01], and then refined by Honda and Laurent [LH06]. The features of this calculus - asynchrony and locality in particular - have a precise correspondence in Game Semantics. Building on work by Varacca and Yoshida [VY06], we interpret π-processes in linear strategies, that is the strategies introduced by Girard within the setting of Ludics [Gir01]. We prove that the model is fully complete and fully abstract w.r.t. the calculus. © Springer-Verlag Berlin Heidelberg 2007.
CITATION STYLE
Faggian, C., & Piccolo, M. (2007). Ludics is a model for the finit ary linear pi-calculus. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4583 LNCS, pp. 148–162). Springer Verlag. https://doi.org/10.1007/978-3-540-73228-0_12
Mendeley helps you to discover research relevant for your work.