Pubblicazioni

Coppo, Mario; Dezani, Mariangiola; Padovani, Luca; Nobuko, Yoshida, Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions, in: Proceedings of the 15th International Conference on Coordination Models and Languages, DEU, SPRINGER-VERLAG BERLIN, 2013, 7890, pp. 45 - 59 (atti di: 15th International Conference on Coordination Models and Languages, Florence, Italy, June 3-5 2013) [Contributo in Atti di convegno]

Bono, Viviana; Padovani, Luca; Andrea, Tosatto, Polymorphic Types for Leak Detection in a Session-Oriented Functional Language, in: Proceedings of the 2013 IFIP Joint International Conference on Formal Techniques for Distributed Systems, DEU, SPRINGER-VERLAG BERLIN, 2013, 7892, pp. 83 - 98 (atti di: 2013 IFIP Joint International Conference on Formal Techniques for Distributed Systems (FORTE'13), Florence, Italy, June 3-6, 2013) [Contributo in Atti di convegno]

Damiani, Ferruccio; Padovani, Luca; Schaefer, Ina, A formal foundation for dynamic delta-oriented software product lines, in: Proceedings of the 11th International Conference on Generative Programming and Component Engineering (GPCE’12), 2013, 48, pp. 1 - 10 (atti di: 11th International Conference on Generative Programming and Component Engineering (GPCE'12), Dresden, Germany, September 26-27, 2012) [Contributo in Atti di convegno]