I. Lanese; C. Guidi; F. Montesi; G. Zavattaro, Bridging the Gap between Interaction- and Process-Oriented Choreographies, in: Proc. of Software Engineering and Formal Methods, 2008. SEFM '08. Sixth IEEE International Conference on, LOS ALAMITOS, CA, IEEE Computer Society Press, 2008, pp. 323 - 332 (atti di: Software Engineering and Formal Methods, 2008. SEFM '08. Sixth IEEE International Conference on, Cape Town. South Africa, 10-14 Nov. 2008) [Contribution to conference proceedings]
F. Montesi; C. Guidi; I. Lanese; G. Zavattaro, Dynamic fault handling mechanisms for service-oriented applications, in: Proceedings of the 6th IEEE European Conference on Web Services, LOS ALAMITOS, CA, IEEE Computer Society Press, 2008, pp. 225 - 234 (atti di: 6th IEEE European Conference on Web Services, Dublin, Ireland, 12-14 Novembre 2008) [Contribution to conference proceedings]
Lanese I., Exploiting User-Definable Synchronizations in Graph Transformation, in: Proceedings of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2006) Vienna, Austria, Amsterdam, Elsevier B.V, «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2008, 211, pp. 27 - 38 (atti di: 5th International Workshop on Graph Transformation and Visual Modeling Techniques, Vienna, Austria, 1/4/2006) [Contribution to conference proceedings]
R. BRUNI; I. LANESE; H. MELGRATTI; E. TUOSTO, Multiparty Sessions in SOC, in: Proceedings of the 10th International Conference on Coordination Models and Languages, BERLIN, Springer, 2008, 5052, pp. 67 - 82 (atti di: 10th International Conference on Coordination Models and Languages, Oslo, Norvegia, 4-6/6/2008) [Contribution to conference proceedings]
I. Lanese; J. A. Perez; D. Sangiorgi; A. Schmitt, On the Expressiveness and Decidability of Higher-Order Process Calculi, in: LICS'08, LOS ALAMITOS, IEEE Computer Society, 2008, pp. 145 - 155 (atti di: Twenty-Third Annual IEEE Symposium on
Logic in Computer Science, LICS 2008,, Pittsburgh, USA, 24-27 June 2008) [Contribution to conference proceedings]
C. Guidi; I. Lanese; F. Montesi; G. Zavattaro, On the interplay between fault handling and request-response service invocations, in: Proc. of Application of Concurrency to System Design, 2008. ACSD 2008. 8th International Conference on, LOS ALAMITOS, CA, IEEE Computer Society Press, 2008, pp. 190 - 198 (atti di: Application of Concurrency to System Design, 2008. ACSD 2008. 8th International Conference on, Xidian, China, 23-27 June 2008) [Contribution to conference proceedings]
R. Bruni; I. Lanese, Parametric synchronizations in mobile nominal calculi, «THEORETICAL COMPUTER SCIENCE», 2008, 402(2-3), pp. 102 - 119 [Scientific article]
LANESE I.; MELGRATTI H., Synchronous Multiparty Synchronizations and Transactions, in: Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday, BERLIN, Springer, 2008, pp. 76 - 95 (LECTURE NOTES IN COMPUTER SCIENCE) [Chapter or essay]
LANESE I., Concurrent and Located Synchronizations in Pi-Calculus, in: Proceedings of SOFSEM'07, 33rd International Conference on Current Trends in Theory and Practice of Computer Science, BERLIN, Springer, 2007, 4362, pp. 388 - 399 (atti di: 33rd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, 20-26/1/2007) [Contribution to conference proceedings]
LANESE I.; VASCONCELOS V.T.; MARTINS F.; RAVARA A., Disciplining Orchestration and Conversation in Service-Oriented Computing, in: Proceedings of SEFM'07, 5th IEEE International Conference on Software Engineering and Formal Methods, LOS ALAMITOS, IEEE Computer Society Press, 2007, pp. 305 - 314 (atti di: 5th IEEE International Conference on Software Engineering and Formal Methods, London, England, 10-14/09/2007) [Contribution to conference proceedings]
I. LANESE; U. MONTANARI, Mapping Fusion and Synchronized Hyperedge Replacement into Logic Programming, «THEORY AND PRACTICE OF LOGIC PROGRAMMING», 2007, 7(1-2), pp. 123 - 151 [Scientific article]
BRUNI R; LANESE I., PRISMA: A Mobile Calculus with Parametric Synchronization, in: Proceedings of TGC'06, Second Symposium on Trustworthy Global Computing, BERLIN, Springer, 2007, 4661, pp. 132 - 149 (atti di: Second Symposium on Trustworthy Global Computing, Lucca, Italia, 7-9/11/2006) [Contribution to conference proceedings]
R. BRUNI; I. LANESE; U. MONTANARI, A Basic Algebra of Stateless Connectors, «THEORETICAL COMPUTER SCIENCE», 2006, 366(1-2), pp. 98 - 120 [Scientific article]
LANESE I.; MONTANARI U., Hoare vs Milner: Comparing Synchronizations in a Graphical Framework with Mobility, in: Proceedings of the Workshop on Graph Transformation for Verification and Concurrency (GT-VC 2005), Amsterdam, Elsevier B.V., «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2006, 154, pp. 55 - 72 (atti di: GT-VC'05, Graph Transformation for Verification and Concurrency, San Francisco, California, USA, 23-26/8/2005) [Contribution to conference proceedings]
M. Boreale; R. Bruni;
L. Caires; R. De Nicola; I. Lanese; M. Loreti;
F. Martins;
U. Montanari; A. Ravara;
D. Sangiorgi; V. Vasconcelos; G. Zavattaro;, SCC: a Service Centered Calculus, in: M. BRAVETTI, G. ZAVATTARO, Web Services and Formal Methods, BERLIN, Springer, 2006, 4184, pp. 38 - 57 (atti di: Third International Workshop on Web Services and Formal Methods, Vienna, 8-9 Settembre 2006) [Contribution to conference proceedings]
