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) [Contributo in Atti di convegno]
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) [Contributo in Atti di convegno]
Danos, V.; Laneve, Cosimo, Formal Molecular Biology, «THEORETICAL COMPUTER SCIENCE», 2004, 325(1), pp. 69 - 110 [articolo]
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 [articolo]
