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) [Contributo in Atti di convegno]
V. Danos
C. Laneve, Proceedings of the First Workshop on Concurrent Models in Molecular Biology (BioConcur 2003), AMSTERDAM, Elsevier, 2007, pp. 80 (Electronic Notes in Theoretical Computer Science -- vol 180(3)). [curatela]
C. Laneve; L. Padovani, The must preorder revisited, in: CONCUR 2007 – Concurrency Theory, «LECTURE NOTES IN COMPUTER SCIENCE», 2007, 4703, pp. 212 - 225 (atti di: 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007) [Contributo in Atti di convegno]
CARPINETI S.; LANEVE C., A basic contract language for web services, in: Programming Languages and Systems: 15th European Symposium on Programming, ESOP 2006, BERLIN / HEIDELBERG, Springer Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2006, 3924, pp. 197 - 213 (atti di: Programming Languages and Systems: 15th European Symposium on Programming, ESOP 2006, Vienna, Marzo 2006) [Contributo in Atti di convegno]
S. Carpineti; G. Castagna; C. Laneve; L. Padovani, A formal account of contracts for web services, in: Web Services and Formal Methods, Third International Workshop, WS-FM 2006, Proceedings, Heidelberg, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2006, 4184, pp. 148 - 162 (atti di: Web Services and Formal Methods, Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006) [Contributo in Atti di convegno]
C. Laneve; S. Carpineti, A rude contract language for web services, «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2006, 162, pp. 147 - 152 [articolo]
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) [Contributo in Atti di convegno]
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) [Contributo in Atti di convegno]
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) [Contributo in Atti di convegno]
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 C., 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]
