Pubblicazioni

Bono, Viviana; Padovani, Luca, Typing Copyless Message Passing, «LOGICAL METHODS IN COMPUTER SCIENCE», 2012, 8(1:17), pp. 1 - 50 [Articolo in rivista]

Padovani, Luca, On Projecting Processes into Session Types, «MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE», 2012, 22(2), pp. 237 - 289 [Articolo in rivista]

Giuseppe, Castagna; Dezani, Mariangiola; Padovani, Luca, On Global Types and Multi-Party Sessions, «LOGICAL METHODS IN COMPUTER SCIENCE», 2012, 8(1:24), pp. 1 - 45 [Articolo in rivista]

Svetlana, Jakšić; Padovani, Luca, Exception Handling for Copyless Messaging, in: Proceedings of the 14th symposium on Principles and practice of declarative programming, USA, ACM, 2012, pp. 151 - 162 (atti di: 14th Symposium on Principles and practice of declarative programming, Leuven, Belgium, 19-21 september 2012) [Contributo in Atti di convegno]