io-port 06086202 de Boer, Frank S.; Jaghoori, Mahdi M.; Laneve, Cosimo; Zavattaro, Gianluigi

Koutny, Maciej (ed.) et al., CONCUR 2012 ‒ concurrency theory. 23rd international conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4‒7, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32939-5/pbk). Lecture Notes in Computer Science 7454, 562-577 (2012).

io-port 06079369 De Paoli, Flavio (ed.); Pimentel, Ernesto (ed.); Zavattaro, Gianluigi (ed.)

Lecture Notes in Computer Science 7592. Berlin: Springer (ISBN 978-3-642-33426-9/pbk). xi, 282~p. (2012).

io-port 06069570 Delzanno, Giorgio; Sangnier, Arnaud; Zavattaro, Gianluigi

Giese, Holger (ed.) et al., Formal techniques for distributed systems. Joint 14th IFIP WG 6.1 international conference, FMOODS 2012 and 32nd IFIP WG 6.1 international conference, FORTE 2012, Stockholm, Sweden, June 13‒16, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-30792-8/pbk). Lecture Notes in Computer Science 7273, 235-250 (2012).

io-port 06060729 Bravetti, Mario; Di Giusto, Cinzia; Pérez, Jorge A.; Zavattaro, Gianluigi

Barbosa, Luís Soares (ed.) et al., Formal aspects of component software. 7th international workshop, FACS 2010, Guimarães, Portugal, October 14‒16, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-27268-4/pbk). Lecture Notes in Computer Science 6921, 295-299 (2012).

io-port 06039198 Delzanno, Giorgio; Zavattaro, Gianluigi

Theor. Comput. Sci. 431, 56-74 (2012).

io-port 06060084 Lienhardt, Michaël; Lanese, Ivan; Bravetti, Mario; Sangiorgi, Davide; Zavattaro, Gianluigi; Welsch, Yannick; Schäfer, Jan; Poetzsch-Heffter, Arnd

Aichernig, Bernhard K. (ed.) et al., Formal methods for components and objects. 9th international symposium, FMCO 2010, Graz, Austria, November 29‒December 1, 2010. Revised papers. Berlin: Springer (ISBN 978-3-642-25270-9/pbk). Lecture Notes in Computer Science 6957, 165-183 (2011).

io-port 05987267 Dalla Preda, Mila; Gabbrielli, Maurizio; Lanese, Ivan; Mauro, Jacopo; Zavattaro, Gianluigi

Kappel, Gerti (ed.) et al., Service-oriented computing. 9th international conference, ICSOC 2011, Paphos, Cyprus, December 5‒8, 2011 Proceedings. Berlin: Springer (ISBN 978-3-642-25534-2/pbk). Lecture Notes in Computer Science 7084, 590-600 (2011).

io-port 05976356 Ferreira, Carla; Lanese, Ivan; Ravara, Antonio; Vieira, Hugo Torres; Zavattaro, Gianluigi

Wirsing, Martin (ed.) et al., Rigorous software engineering for service-oriented systems. Results of the SENSORIA project on software engineering for service-oriented computing. Berlin: Springer (ISBN 978-3-642-20400-5/pbk). Lecture Notes in Computer Science 6582, 302-325 (2011).

io-port 05976350 Caires, Luís; De Nicola, Rocco; Pugliese, Rosario; Vasconcelos, Vasco T.; Zavattaro, Gianluigi

Wirsing, Martin (ed.) et al., Rigorous software engineering for service-oriented systems. Results of the SENSORIA project on software engineering for service-oriented computing. Berlin: Springer (ISBN 978-3-642-20400-5/pbk). Lecture Notes in Computer Science 6582, 153-188 (2011).

io-port 05908872 Bravetti, Mario; Di Giusto, Cinzia; Pérez, Jorge A.; Zavattaro, Gianluigi

Bruni, Roberto (ed.) et al., Formal techniques for distributed systems. Joint 13th IFIP WG 6.1 international conference, FMOODS 2011, and 31st IFIP WG 6.1 international conference, FORTE 2011, Reykjavik, Iceland, June 6‒9, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21460-8/pbk). Lecture Notes in Computer Science 6722, 90-105 (2011).

io-port 05908853 Broch Johnsen, Einar; Lanese, Ivan; Zavattaro, Gianluigi

De Meuter, Wolfgang (ed.) et al., Coordination models and languages. 13th international conference, COORDINATION 2011, Reykjavik, Iceland, June 6‒9, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21463-9/pbk). Lecture Notes in Computer Science 6721, 1-15 (2011).

io-port 05897387 Delzanno, Giorgio; Sangnier, Arnaud; Zavattaro, Gianluigi

Hofmann, Martin (ed.), Foundations of software science and computational structures. 14th international conference, FOSSACS 2011, held as part of the joint European conferences on theory and practice of software, ETAPS 2011, Saarbrücken, Germany, March 26 ‒ April 3, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-19804-5/pbk). Lecture Notes in Computer Science 6604, 441-455 (2011).

io-port 05874933 Bravetti, Mario (ed.); Zavattaro, Gianluigi (ed.)

Inf. Comput. 209, No. 5, 765-871 (2011).

io-port 60013467 Ferreira, Carla; Lanese, Ivan; Ravara, António; Vieira, Hugo Torres; Zavattaro, Gianluigi

Results of the SENSORIA Project, 302-325 (2011).

io-port 60013474 Caires, Luís; De Nicola, Rocco; Pugliese, Rosario; Vasconcelos, Vasco Thudichum; Zavattaro, Gianluigi

Results of the SENSORIA Project, 153-188 (2011).

io-port 70000346 Delzanno, Giorgio; Sangnier, Arnaud; Zavattaro, Gianluigi

PACO, 56-65 (2011).

io-port 70007774 Bravetti, Mario; Di Giusto, Cinzia; Pérez, Jorge A.; Zavattaro, Gianluigi

FMOODS/FORTE, 90-105 (2011).

io-port 70317918 Johnsen, Einar Broch; Lanese, Ivan; Zavattaro, Gianluigi

COORDINATION, 1-15 (2011).

io-port 70380308 Preda, Mila Dalla; Gabbrielli, Maurizio; Lanese, Ivan; Mauro, Jacopo; Zavattaro, Gianluigi

ICSOC, 590-600 (2011).

io-port 70944884 Delzanno, Giorgio; Sangnier, Arnaud; Zavattaro, Gianluigi

FOSSACS, 441-455 (2011).