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]
FERRARI G. L.; HIRSCH D.; LANESE I.; MONTANARI U.; TUOSTO E., Synchronised Hyperedge Replacement as a Model for Service Oriented Computing, in: Proceedings of FMCO'05, Fourth International Symposium on Formal Methods for Components and Objects, BERLIN, Springer, 2006, 4111, pp. 22 - 43 (atti di: Fourth International Symposium on Formal Methods for Components and Objects, Amsterdam, The Netherlands, 1-4/11/2005) [Contribution to conference proceedings]
MAZZARA M.; LANESE I., Towards a Unifying Theory for Web Services Composition, in: Proceedings of WS-FM'06, 3rd International Workshop on Web Services and Formal Methods, BERLIN, Springer, 2006, 4184, pp. 257 - 272 (atti di: 3rd International Workshop on Web Services and Formal Methods, Vienna, Austria, 8-9/9/2006) [Contribution to conference proceedings]
BRUNI R.; LANESE I.; MONTANARI U., Complete Axioms for Stateless Connectors, in: Proceedings of CALCO'05, First Conference on Algebra and Coalgebra in Computer Science, BERLIN, Springer, 2005, 3629, pp. 98 - 113 (atti di: First Conference on Algebra and Coalgebra in Computer Science, Swansea, Wales, UK, 3-6/9/2005) [Contribution to conference proceedings]
Lanese I.; Montanari U., Insights Emerged while Comparing Three Models for Global Computing, in: Proceedings of Dagstuhl Seminar n.05081, Foundations of global computing, DAGSTUHL, Schloss Dagstuhl, 2005, 05081, pp. 1 - 20 (atti di: Dagstuhl Seminar n.05081, Foundations of global computing, Dagstuhl, Germany, 20-25/2/2005) [Contribution to conference proceedings]
BRUNI R.; LANESE I., Summary 3: On Graph(ic) Encodings, in: Proceedings of Dagstuhl Seminar n.04241, Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, DAGSTUHL, Schloss Dagstuhl, 2005, 04241, pp. 23 - 39 (atti di: Dagstuhl Seminar n.04241, Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, Dagstuhl, Germany, 6-11/6/2004) [Contribution to conference proceedings]
LANESE I.; TUOSTO E., Synchronized Hyperedge Replacement for Heterogeneous Systems, in: Proceedings of COORDINATION'05, Seventh International Conference on Coordination Models and Languages, BERLIN, Springer, 2005, 3454, pp. 220 - 235 (atti di: Seventh International Conference on Coordination Models and Languages, Namur, Belgium, 20-23/4/2005) [Contribution to conference proceedings]
LANESE I.; MONTANARI U., A Graphical Fusion Calculus, in: Proceedings of the Workshop of the COMETA Project on Computational Metamodels, Amsterdam, Elsevier B.V., «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2004, 104, pp. 199 - 215 (atti di: Workshop of the COMETA Project on Computational Metamodels, Udine, Italy, 15-17/12/2003) [Contribution to conference proceedings]
