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, «LECTURE NOTES IN COMPUTER SCIENCE», 2006, 4111, pp. 22 - 43 (atti di: Fourth International Symposium on Formal Methods for Components and Objects, Amsterdam, The Netherlands, 1-4/11/2005) [Contributo in Atti di convegno]
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, «LECTURE NOTES IN COMPUTER SCIENCE», 2006, 4184, pp. 257 - 272 (atti di: 3rd International Workshop on Web Services and Formal Methods, Vienna, Austria, 8-9/9/2006) [Contributo in Atti di convegno]
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, «LECTURE NOTES IN COMPUTER SCIENCE», 2005, 3629, pp. 98 - 113 (atti di: First Conference on Algebra and Coalgebra in Computer Science, Swansea, Wales, UK, 3-6/9/2005) [Contributo in Atti di convegno]
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, «DAGSTUHL SEMINAR PROCEEDINGS», 2005, 05081, pp. 1 - 20 (atti di: Dagstuhl Seminar n.05081, Foundations of global computing, Dagstuhl, Germany, 20-25/2/2005) [Contributo in Atti di convegno]
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, «DAGSTUHL SEMINAR PROCEEDINGS», 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) [Contributo in Atti di convegno]
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, «LECTURE NOTES IN COMPUTER SCIENCE», 2005, 3454, pp. 220 - 235 (atti di: Seventh International Conference on Coordination Models and Languages, Namur, Belgium, 20-23/4/2005) [Contributo in Atti di convegno]
LANESE I.; MONTANARI U., A Graphical Fusion Calculus, in: Proceedings of the Workshop of the COMETA Project on Computational Metamodels, Amsterdam, Elsevier B.V., 2004, 104, pp. 199 - 215 (atti di: Workshop of the COMETA Project on Computational Metamodels, Udine, Italy, 15-17/12/2003) [Contributo in Atti di convegno]
BRUNI R.; FIADEIRO J. L.; LANESE I.; LOPES A.; MONTANARI U., New Insights on Architectural Connectors, in: Proceedings of IFIP TCS 2004, 3rd IFIP International Conference on Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics, ALPHEN AAN DEN RIJN, Kluwer Academics, «IFIP INTERNATIONAL FEDERATION FOR INFORMATION PROCESSING», 2004, 155, pp. 367 - 379 (atti di: 3rd IFIP International Conference on Theoretical Computer Science, Toulose, France, 24-26/8/2004) [Contributo in Atti di convegno]
LANESE I.; MONTANARI U., Synchronization Algebras with Mobility for Graph Transformations, in: Proceedings of the Workshop on the Foundations of Global Ubiquitous Computing (FGUC 2004), Amsterdam, Elsevier B.V., 2004, 138, pp. 43 - 60 (atti di: FCUC'04, Joint 3rd workshop on the (SGUC) Grand Challenge and 3rd EATCS Workshop in the Foundations of Global Computing, London, UK, 3-4/9/2004,) [Contributo in Atti di convegno]
