2008 | ||
---|---|---|
3 | EE | Luca Paolini, Mauro Piccolo: Semantically linear programming languages. PPDP 2008: 97-107 |
2007 | ||
2 | EE | Claudia Faggian, Mauro Piccolo: Ludics is a Model for the Finitary Linear Pi-Calculus. TLCA 2007: 148-162 |
1 | EE | Claudia Faggian, Mauro Piccolo: A Graph Abstract Machine Describing Event Structure Composition. Electr. Notes Theor. Comput. Sci. 175(4): 21-36 (2007) |
1 | Claudia Faggian | [1] [2] |
2 | Luca Paolini | [3] |