A. Credi; M. Garavelli; C. Laneve; S. Pradalier; S. Silvi; G. Zavattaro, Modelization and Simulation of Nano Devices in k-Calculus, in: Computational Methods in Systems Biology. Proceedings, BERLIN, Springer, 2007, 4695, pp. 168 - 183 (atti di: International Conference on Computational Methods in Systems Biology, CMSB 2007, Edinburgh, Scotland, September 20-21, 2007) [Contribution to conference proceedings]
M. Bravetti; G. Zavattaro, Service Oriented Computing from a Process Algebraic Perspective, «JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING», 2007, 70(1), pp. 3 - 14 [Scientific article]
M. Bravetti; G. Zavattaro, Towards a Unifying Theory for Choreography Conformance and Contract Compliance, in: Software Composition. Revised Selected Papers, BERLIN, Springer, 2007, 4829, pp. 34 - 50 (atti di: 6th International Symposium on Software Composition, Braga, 24-25 Marzo) [Contribution to conference proceedings]
M. Bravetti; G. Zavattaro, Web Services and Formal Methods, AMSTERDAM, Elsevier, 2007, pp. 118 (Journal of Logic and Algebraic Programming, Vol. 70(1)). [Editorship]
N. Busi; G. Zavattaro, A Process Algebraic View of Coordination, in: , «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2006, 162, pp. 141 - 145 (atti di: Workshop "Essays on Algebraic Process Calculi" (APC 25), Bertinoro, Italy, 01-05 August 2005) [Contribution to conference proceedings]
N. Busi; R. Gorrieri; C. Guidi; R. Lucchi; G. Zavattaro, Choreography and Orchestration Conformance for System Design, in: Coordination Models and Languages, HEIDELBERG, Springer-Verlag, 2006, 4038, pp. 63 - 81 (atti di: 8th International Conference on Coordination Models and Languages COORDINATION 2006, Bologna, Italy, June 14-16, 2006) [Contribution to conference proceedings]
Coordination of a Research Project: CompReNDe: Compositional and executable Representation of Nano Devices.
G. Zavattaro, Distributed Computing Techniques 2006 (DisCoTec'06) - 14-16 Giugno - Bologna, 2006. [Exhibition]
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]
C. Guidi; R. Lucchi; R. Gorrieri; N. Busi; G. Zavattaro, SOCK : A Calculus for Service Oriented Computing, in: Service Oriented Computing. Proceedings, BERLIN, Springer, 2006, 4294, pp. 327 - 338 (atti di: International Conference on Service Oriented Computing (ICSOC'06), Chicago, IL, USA, December 4-7, 2006) [Contribution to conference proceedings]
R. Focardi; R. Lucchi; G. Zavattaro, Secure shared data-space Coordination Languages: a Process Algebraic survey, «SCIENCE OF COMPUTER PROGRAMMING», 2006, 63(1), pp. 3 - 15 [Scientific article]
M. Wirsing; R. De Nicola; S. Gilmore; M. Holzl; R. Lucchi; M. Tribastone; G. Zavattaro, Sensoria Process Calculi for Service-Oriented Computing, in: Trustworthy Global Computing. Revised Selected Papers, BERLIN, Springer, 2006, 4661, pp. 30 - 50 (atti di: International Symposium on Trustworthy Global Computing
(TGC'06), Lucca, ITALY, 7-9 Novembre 2006) [Contribution to conference proceedings]
M. Bravetti; G. Zavattaro, Service Oriented Computing: A New Challenge for Process Algebras, in: Proceedings of the Workshop "Essays on Algebraic Process Calculi" (APC 25), Amsterdam, Elsevier, «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2006, 162, pp. 121 - 125 (atti di: Essays on Algebraic Process Calculi (APC 25), Bertinoro, Italy, August 01-05, 2005) [Contribution to conference proceedings]
R.Gorrieri; R.Lucchi; G.Zavattaro, Supporting Secure Coordination in SecSpaces, «FUNDAMENTA INFORMATICAE», 2006, 73(4), pp. 479 - 506 [Scientific article]
M. Bravetti; M. Nunez; G. Zavattaro (a cura di): PIU' DI 30 AUTORI INTERNAZIONALI (NON SI INDICANO LE SPECIFICHE NAZIONALITA'), Web Services and Formal Methods, BERLIN, springer, 2006, pp. 287 (Lecture Notes in Computer Science n. 4184). [Editorship]
