C. Laneve;
L. Padovani;
S. Carpineti, PiDuce, 2006. [Software]
Laneve C.; Padovani L., Smooth Orchestrators, in: Foundations of Software Science and Computation Structures: 9th International Conference, FOSSACS 2006, BERLIN / HEIDELBERG, Springer Verrlag, 2006, 3921, pp. 32 - 46 (atti di: Foundations of Software Science and Computation Structures: 9th International Conference, FOSSACS 2006, Vienna, Marzo 2006) [Contribution to conference proceedings]
S. Carpineti; C. Laneve; P. Milazzo, BoPi: a distributed machine for experimenting web-services technologies, in: Fifth International Conference on Application of Concurrency to System Design (ACSD 2005), s.l, IEEE Computer Society Press, 2005, pp. 202 - 211 (atti di: Fifth International Conference on Application of Concurrency to System Design (ACSD 2005), St. Malo, Giugno 2005) [Contribution to conference proceedings]
C. Laneve; G. Zavattaro, Foundations of web transactions, in: Foundations of Software Science and Computational Structures. Proceedings, BERLIN, Springer, 2005, 3441, pp. 282 - 298 (atti di: 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005) [Contribution to conference proceedings]
A. Brown; C. Laneve; G. Meredith, PiDuce: a process calculus with native XML datatypes, in: Second International on Web Services and Formal Methods (WS-FM 05), in "Lecture Notes in Computer Science", vol. 3670 (2005), AMSTERDAM, Springer Verlag, 2005, 3670, pp. 18 - 34 (atti di: Second International on Web Services and Formal Methods (WS-FM 05), Versailles, Parigi, 3-4 Settembre 2005) [Contribution to conference proceedings]
C. Laneve; G. Zavattaro, Webpi at work, in: Trustworthy Global Computing. Revised Selected Papers, BERLIN, Springer, 2005, 3705, pp. 182 - 194 (atti di: Trustworthy Global Computing, International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005) [Contribution to conference proceedings]
Danos, V.; Laneve, Cosimo, Formal Molecular Biology, «THEORETICAL COMPUTER SCIENCE», 2004, 325(1), pp. 69 - 110 [Scientific article]
Fantechi A.; Gnesi S.; Laneve C., Two standards means problems: A case study on formal protocol descriptions, «COMPUTER STANDARDS & INTERFACES», 1989, 9, pp. 11 - 19 [Scientific article]
