| 2009 | ||
|---|---|---|
| 6 | Claudia Faggian, Mauro Piccolo: Partial Orders, Event Structures and Linear Strategies. TLCA 2009: 95-111 | |
| 5 | Luca Paolini, Mauro Piccolo, Simona Ronchi Della Rocca: Logical Semantics for Stability. Electr. Notes Theor. Comput. Sci. 249: 429-449 (2009) | |
| 2008 | ||
| 4 | Luca Paolini, Mauro Piccolo: Semantically linear programming languages. PPDP 2008: 97-107 | |
| 3 | Luca Paolini, Mauro Piccolo: A Process-Model for Linear Programs. TYPES 2008: 289-305 | |
| 2007 | ||
| 2 | Claudia Faggian, Mauro Piccolo: Ludics is a Model for the Finitary Linear Pi-Calculus. TLCA 2007: 148-162 | |
| 1 | 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] [6] |
| 2 | Luca Paolini | [3] [4] [5] |
| 3 | Simona Ronchi Della Rocca | [5] |