Mila Dalla Preda;
Maurizio Gabbrielli;
Ivan Lanese;
Jacopo Mauro;
Gianluigi Zavattaro, Graceful Interruption of Request-Response Service Interactions, in: Service-Oriented Computing - 9th International Conference, ICSOC 2011, Paphos, Cyprus, December 5-8, 2011 Proceedings, BERLIN, Springer-Verlag, 2011, LNCS 7084, pp. 590 - 600 (atti di: Service-Oriented Computing - 9th International Conference, ICSOC 2011, Cipro, 2011) [Contribution to conference proceedings]
I. Lanese; J. A. Perez; D. Sangiorgi; A. Schmitt, On the expressiveness and decidability of higher-order process calculi, «INFORMATION AND COMPUTATION», 2011, 209, pp. 198 - 226 [Scientific article]
M. Bartoletti; L. Caires; I. Lanese; F. Mazzanti; D. Sangiorgi; H. T. Vieira; R. Zunino, Tools and Verification, in: Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing, BERLIN, Springer, 2011, pp. 408 - 427 (LECTURE NOTES IN COMPUTER SCIENCE) [Chapter or essay]
I. LANESE; A. BUCCHIARONE A; F. MONTESI, A Framework for Rule-Based Dynamic Adaptation, in: Proceedings of the 5th International Symposium on Trustworthly Global Computing, BERLIN, Springer, 2010, 6084, pp. 284 - 300 (atti di: 5th International Symposium on Trustworthly Global Computing, Munich, Germany, 24-26/2/2010) [Contribution to conference proceedings]
I. Lanese; D. Sangiorgi, An operational semantics for a calculus for wireless systems, «THEORETICAL COMPUTER SCIENCE», 2010, 411, pp. 1928 - 1948 [Scientific article]
I. LANESE; F. MONTESI, Error Handling: From Theory to Practice, in: Proceedings of the 4th International Symposium on Leveraging Applications, ISoLA 2010, BERLIN, Springer, 2010, 6416, pp. 66 - 81 (atti di: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, 18-21/10/2010) [Contribution to conference proceedings]
I. LANESE; C. VAZ; C. FERREIRA, On the Expressive Power of Primitives for Compensation Handling, in: Proceedings of the 19th European Symposium on Programming, BERLIN, Springer, 2010, 6012, pp. 366 - 386 (atti di: 19th European Symposium on Programming, Paphos, Cyprus, 22-26 Marzo 2010) [Contribution to conference proceedings]
I. Lanese; J. A. Perez; D. Sangiorgi; A. Schmitt, On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi, in: Automata, Languages and Programming : Proceedings, BERLIN, Springer, 2010, 6199, pp. 442 - 453 (atti di: 37th International Colloquium Automata, Languages and Programming (ICALP 2010), Bordeaux, France, July 6-10, 2010) [Contribution to conference proceedings]
I. LANESE; C. A. MEZZINA; J. STEFANI, Reversing Higher-Order Pi, in: Proceedings of the 21th International Conference on Concurrency Theory - CONCUR 2010, BERLIN, Springer, 2010, 6269, pp. 478 - 493 (atti di: 21th International Conference on Concurrency Theory - CONCUR 2010, Parigi, Francia, 31/8/2010 - 3/9/2010) [Contribution to conference proceedings]
Lanese I., Static vs Dynamic SAGAs, in: Third Interaction and Concurrency Experience (ICE 2010), «ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE», 2010, 38, pp. 51 - 65 (atti di: 3rd Interaction and Concurrency Experience, Amsterdam, Netherlands, 10/6/2010) [Contribution to conference proceedings]
M. Bravetti; I. Lanese; G. Zavattaro, Contract-Driven Implementation of Choreographies, in: Proceedings of Symposium on Trustworthy Global Computing 2008., BERLIN, Springer-Verlag, 2009, 5474, pp. 1 - 18 (atti di: Symposium on Trustworthy Global Computing 2008, Barcellona, November 3-4, 2008) [Contribution to conference proceedings]
C. Guidi; I. Lanese; F. Montesi; G. Zavattaro, Dynamic Error Handling in Service Oriented Applications, «FUNDAMENTA INFORMATICAE», 2009, 95(1), pp. 73 - 102 [Scientific article]
I. Lanese; G. Zavattaro, Programming Sagas in SOCK, in: Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, SEFM 2009, LOS ALAMITOS, CA, IEEE Computer Society Press, 2009, pp. 189 - 198 (atti di: Seventh IEEE International Conference on Software Engineering and Formal Methods, SEFM 2009, Hanoi, Vietnam, 23-27 November, 2009) [Contribution to conference proceedings]
F. ARBAB; R. BRUNI; D. CLARKE; I. LANESE; U. MONTANARI, Tiles for Reo, in: Proceedings of the 19th International Workshop on Algebraic Development Techniques, BERLIN, Springer, 2009, 5486, pp. 37 - 55 (atti di: 19th International Workshop on Algebraic Development Techniques, Pisa, Italy, 13-16/6/2008) [Contribution to conference proceedings]
L. CRUZ-FILIPE; I. LANESE; F. MARTINS; A. RAVARA; V.T. VASCONCELOS, Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus, in: Proceedings of the 10th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems, BERLIN, Springer, 2008, 5051, pp. 59 - 77 (atti di: 10th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems, Oslo, Norway, 4-6/6/2008) [Contribution to conference proceedings]
