Cosimo Laneve

Frank S. de Boer, Mohammad Mahdi Jaghoori, Cosimo Laneve, Gianluigi Zavattaro: Decidability Problems for Actor Systems. CONCUR 2012: 562-577

Luca Cardelli, Cosimo Laneve: Reversibility in Massive Concurrent Systems. Sci. Ann. Comp. Sci. 21(2): 175-198 (2011)

Luca Cardelli, Cosimo Laneve: Reversible structures. CMSB 2011: 131-140

Elena Giachino, Cosimo Laneve: Analysis of Deadlocks in Object Groups. FMOODS/FORTE 2011: 168-182

Luca Cardelli, Cosimo Laneve: Reversibility in Massive Concurrent Systems. CoRR abs/1108.3419 (2011)

Cosimo Laneve, Tudor A. Lascu, Vania Sordoni: The Interval Analysis of Multilinear Expressions. Electr. Notes Theor. Comput. Sci. 267(2): 43-53 (2010)

Cosimo Laneve, Antonio Vitale: The Expressive Power of Synchronizations. LICS 2010: 382-391

Cosimo Laneve, Jianwen Su (Eds.): Web Services and Formal Methods, 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers. Lecture Notes in Computer Science 6194, Springer 2010, isbn 978-3-642-14457-8

Cosimo Laneve, Sylvain Pradalier, Gianluigi Zavattaro: From Biochemistry to Stochastic Processes. Electr. Notes Theor. Comput. Sci. 253(3): 167-185 (2009)

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

Giorgio Delzanno, Cinzia Di Giusto, Maurizio Gabbrielli, Cosimo Laneve, Gianluigi Zavattaro: The kappa-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages. CMSB 2009: 158-172

Cosimo Laneve, Antonio Vitale: Expressivity in the kappa Family. Electr. Notes Theor. Comput. Sci. 218: 97-109 (2008)

Cosimo Laneve, Fabien Tarissan: A simple calculus for proteins and cells. Theor. Comput. Sci. 404(1-2): 127-141 (2008)

Alberto Credi, Marco Garavelli, Cosimo Laneve, Sylvain Pradalier, Serena Silvi, Gianluigi Zavattaro: nanoK: A calculus for the modeling and simulation of nano devices. Theor. Comput. Sci. 408(1): 17-30 (2008)

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

Cosimo Laneve, Fabien Tarissan: A Simple Calculus for Proteins and Cells. Electr. Notes Theor. Comput. Sci. 171(2): 139-154 (2007)

Vincent Danos, Cosimo Laneve: Preface. Electr. Notes Theor. Comput. Sci. 180(3): 1-2 (2007)

Philippa Gardner, Cosimo Laneve, Lucian Wischik: Linear forwarders. Inf. Comput. 205(10): 1526-1550 (2007)

Alberto Credi, Marco Garavelli, Cosimo Laneve, Sylvain Pradalier, Serena Silvi, Gianluigi Zavattaro: Modelization and Simulation of Nano Devices in $\mathtt{nano}\kappa$ Calculus. CMSB 2007: 168-183

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

Samuele Carpineti, Cosimo Laneve: A Rude Contract Language for Web Services. Electr. Notes Theor. Comput. Sci. 162: 147-152 (2006)

Samuele Carpineti, Cosimo Laneve: A Basic Contract Language for Web Services. ESOP 2006: 197-213

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

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

Samuele Carpineti, Cosimo Laneve, Paolo Milazzo: BoPi - A Distributed Machine for Experimenting Web Services Technologies. ACSD 2005: 202-211

Allen L. Brown Jr., Cosimo Laneve, L. Gregory Meredith: PiDuce: A Process Calculus with Native XML Datatypes. EPEW/WS-FM 2005: 18-34

Cosimo Laneve, Gianluigi Zavattaro: Foundations of Web Transactions. FoSSaCS 2005: 282-298

Cosimo Laneve, Gianluigi Zavattaro: web-pi at Work. TGC 2005: 182-194

Vincent Danos, Cosimo Laneve: Formal molecular biology. Theor. Comput. Sci. 325(1): 69-110 (2004)

Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Rémy: Inheritance in the join calculus. J. Log. Algebr. Program. 57(1-2): 23-69 (2003)

Cosimo Laneve, Björn Victor: Solos In Concert. Mathematical Structures in Computer Science 13(5): 657-683 (2003)

Cosimo Laneve: A type system for JVM threads. Theor. Comput. Sci. 290(1): 741-778 (2003)

Vincent Danos, Cosimo Laneve: Graphs for Core Molecular Biology. CMSB 2003: 34-46

Philippa Gardner, Cosimo Laneve, Lucian Wischik: Linear Forwarders. CONCUR 2003: 408-422

Vincent Danos, Cosimo Laneve: Core Formal Molecular Biology. ESOP 2003: 302-318

Laura Bocchi, Cosimo Laneve, Gianluigi Zavattaro: A Calculus for Long-Running Transactions. FMOODS 2003: 124-138

Carlo Blundo, Cosimo Laneve (Eds.): Theoretical Computer Science, 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings. Lecture Notes in Computer Science 2841, Springer 2003, isbn 3-540-20216-1

Roberto Bruni, Cosimo Laneve, Ugo Montanari: Orchestrating Transactions in Join Calculus. CONCUR 2002: 321-337

Philippa Gardner, Cosimo Laneve, Lucian Wischik: The Fusion Machine. CONCUR 2002: 418-433

Cédric Fournet, Cosimo Laneve: Bisimulations in the join-calculus. Theor. Comput. Sci. 266(1-2): 569-603 (2001)

Cosimo Laneve, Joachim Parrow, Björn Victor: Solo Diagrams. TACS 2001: 127-144

Gérard Boudol, Cosimo Laneve: lambda-calculus, multiplicities, and the pi-calculus. Proof, Language, and Interaction 2000: 659-690

Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Rémy: Inheritance in the Join Calculus. FSTTCS 2000: 397-408

Cosimo Laneve: Calculi for Concurrent Objects (Tutorial). FMOODS 1999

Cosimo Laneve, Björn Victor: Solos in Concert. ICALP 1999: 513-523

Michele Boreale, Cédric Fournet, Cosimo Laneve: Bisimulations in the join-calculus. PROCOMET 1998: 68-86

Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Rémy: Implicit Typing à la ML for the Join-Calculus. CONCUR 1997: 196-212

Andrea Asperti, Cosimo Laneve: On the Dynamics of Sharing Graphs. ICALP 1997: 259-269

Gérard Boudol, Cosimo Laneve: The Discriminating Power of Multiplicities in the Lambda-Calculus. Inf. Comput. 126(1): 83-102 (1996)

Cosimo Laneve, Ugo Montanari: Axiomatizing Permutation Equivalence. Mathematical Structures in Computer Science 6(3): 219-249 (1996)

Andrea Asperti, Cosimo Laneve: Interaction Systems II: The Practice of Optimal Reductions. Theor. Comput. Sci. 159(2): 191-244 (1996)

Gérard Boudol, Cosimo Laneve: Termination, deadlock and divergence in the lambda-calculus with multiplicities. Electr. Notes Theor. Comput. Sci. 1: 32-45 (1995)

Roberto Gorrieri, Cosimo Laneve: Split and ST Bisimulation Semantics. Inf. Comput. 118(2): 272-288 (1995)

Andrea Asperti, Cosimo Laneve: Paths, Computations and Labels in the lambda-Calculus. Theor. Comput. Sci. 142(2): 277-297 (1995)

Andrea Asperti, Cosimo Laneve: Comparing Lambda-calculus translations in Sharing Graphs. TLCA 1995: 1-15

Cosimo Laneve: Distributive Evaluations of lambda-calculus. Fundam. Inform. 20(4): 333-352 (1994)

Andrea Asperti, Cosimo Laneve: Interaction Systems I: The Theory of Optimal Reductions. Mathematical Structures in Computer Science 4(4): 457-504 (1994)

Andrea Asperti, Vincent Danos, Cosimo Laneve, Laurent Regnier: Paths in the lambda-calculus. LICS 1994: 426-436

Andrea Asperti, Cosimo Laneve: The Family Relation in Interaction Systems. TACS 1994: 366-384

Andrea Asperti, Cosimo Laneve: Interaction Systems. HOA 1993: 1-19

Andrea Asperti, Cosimo Laneve: Paths, Computations and Labels in the Lambda-Calculus. RTA 1993: 152-167

Andrea Asperti, Cosimo Laneve: Optimal Reductions in Interaction Systems. TAPSOFT 1993: 485-500

Cosimo Laneve, Ugo Montanari: Axiomatizing Permutation Equivalence in the Lambda-Calculus. ALP 1992: 350-363

Cosimo Laneve, Ugo Montanari: Mobility in the CC-Paradigm. MFCS 1992: 336-345

Roberto Gorrieri, Cosimo Laneve: The Limit of Split_n-Bisimulations for CCS Agents. MFCS 1991: 170-180

Alessandro Fantechi, Stefania Gnesi, Cosimo Laneve: An Expressive Temporal Logic for Basic LOTOS. FORTE 1989: 261-276