Cosimo Laneve (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

56 Samuele Carpineti, Cosimo Laneve, Luca Padovani: PiDuce - A project for experimenting Web services technologies. Sci. Comput. Program. 74(10): 777-811 (2009)

55 Cosimo Laneve, Luca Padovani: The Pairing of Contracts and Session Types. Concurrency, Graphs and Models 2008: 681-700

50 Cosimo Laneve, Luca Padovani: The Must Preorder Revisited. CONCUR 2007: 212-225

45 Cosimo Laneve, Luca Padovani: Smooth Orchestrators. FoSSaCS 2006: 32-46

44 Samuele Carpineti, Giuseppe Castagna, Cosimo Laneve, Luca Padovani: A Formal Account of Contracts for Web Services. WS-FM 2006: 148-162

Selection of 5 from 65 records - Cosimo Laneve has 42 coauthors

Last update 2012-09-10 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

56		Samuele Carpineti, Cosimo Laneve, Luca Padovani: PiDuce - A project for experimenting Web services technologies. Sci. Comput. Program. 74(10): 777-811 (2009)
55		Cosimo Laneve, Luca Padovani: The Pairing of Contracts and Session Types. Concurrency, Graphs and Models 2008: 681-700
50		Cosimo Laneve, Luca Padovani: The Must Preorder Revisited. CONCUR 2007: 212-225
45		Cosimo Laneve, Luca Padovani: Smooth Orchestrators. FoSSaCS 2006: 32-46
44		Samuele Carpineti, Giuseppe Castagna, Cosimo Laneve, Luca Padovani: A Formal Account of Contracts for Web Services. WS-FM 2006: 148-162