| faggian07tlca (In proceedings)
|
| Author(s) | Claudia Faggian and Mauro Piccolo |
| Title | « Ludics is a Model for the Finitary Linear Pi-Calculus » |
| In | Typed Lambda Calculi and Applications, 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings |
| Series | Lecture Notes in Computer Science |
| Editor(s) | Simona Ronchi Della Rocca |
| Volume | 4583 |
| Page(s) | 148-162 |
| Year | 2007 |
| Publisher | Springer |
| ISBN number | 978-3-540-73227-3 |
| URL | http://www.springerlink.com/content/u7142826p4381136/ |
| Abstract |
| We analyze in game-semantical terms the finitary fragment of the linear -calculus. This calculus was introduced by Yoshida, Honda, and Berger, and then refined by Honda and Laurent. The features of this calculus - asynchrony and locality in particular - have a precise correspondence in Game Semantics. Building on work by Varacca and Yoshida, we interpret -processes in linear strategies, that is the strategies introduced by Girard within the setting of Ludics. We prove that the model is fully complete and fully abstract w.r.t. the calculus. |
@inproceedings{faggian07tlca,
volume = {4583},
author = {Claudia Faggian and Mauro Piccolo},
series = {Lecture Notes in Computer Science},
booktitle = {Typed Lambda Calculi and Applications, 8th International
Conference, TLCA 2007, Paris, France, June 26-28, 2007,
Proceedings},
editor = {Simona Ronchi Della Rocca},
url = {http://www.springerlink.com/content/u7142826p4381136/},
isbn = {978-3-540-73227-3},
title = {Ludics is a Model for the Finitary Linear Pi-Calculus},
abstract = {We analyze in game-semantical terms the finitary fragment of the
linear $\pi$-calculus. This calculus was introduced by Yoshida,
Honda, and Berger, and then refined by Honda and Laurent. The
features of this calculus - asynchrony and locality in particular
- have a precise correspondence in Game Semantics. Building on
work by Varacca and Yoshida, we interpret $\pi$-processes in
linear strategies, that is the strategies introduced by Girard
within the setting of Ludics. We prove that the model is fully
complete and fully abstract w.r.t. the calculus.},
publisher = {Springer},
year = {2007},
pages = {148-162},
}
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)
