Formal molecular biology V Danos, C Laneve Theoretical Computer Science 325 (1), 69-110, 2004 | 613 | 2004 |

A calculus for long-running transactions L Bocchi, C Laneve, G Zavattaro Formal Methods for Open Object-Based Distributed Systems: 6th IFIP WG 6.1 …, 2003 | 214 | 2003 |

Foundations of web transactions C Laneve, G Zavattaro Foundations of Software Science and Computational Structures: 8th …, 2005 | 180 | 2005 |

The *Must* Preorder RevisitedC Laneve, L Padovani CONCUR 2007–Concurrency Theory: 18th International Conference, CONCUR 2007 …, 2007 | 128 | 2007 |

A formal account of contracts for web services S Carpineti, G Castagna, C Laneve, L Padovani WS-FM 6, 148-162, 2006 | 124 | 2006 |

Implicit typing à la ML for the join-calculus C Fournet, L Maranget, C Laneve, D Rémy CONCUR'97: Concurrency Theory: 8th International Conference Warsaw, Poland …, 1997 | 106 | 1997 |

Paths in the lambda-calculus. Three years of communications without understanding A Asperti, V Danos, C Laneve, L Regnier Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science, 426-436, 1994 | 99 | 1994 |

Interaction systems I: The theory of optimal reductions A Asperti, C Laneve Mathematical Structures in Computer Science 4 (4), 457-504, 1994 | 87 | 1994 |

Core formal molecular biology V Danos, C Laneve ESOP 3, 302-318, 2003 | 82 | 2003 |

Paths, computations and labels in the λ-calculus A Asperti, C Laneve Theoretical Computer Science 142 (2), 277-297, 1995 | 75 | 1995 |

Paths, computations and labels in the λ-calculus A Asperti, C Laneve Theoretical Computer Science 142 (2), 277-297, 1995 | 75 | 1995 |

A framework for deadlock detection in core ABS E Giachino, C Laneve, M Lienhardt Software & Systems Modeling 15 (4), 1013-1048, 2016 | 66 | 2016 |

Orchestrating Transactions in Join Calculus^{*}R Bruni, C Laneve, U Montanari CONCUR 2002—Concurrency Theory: 13th International Conference Brno, Czech …, 2002 | 66 | 2002 |

Graphs for core molecular biology V Danos, C Laneve Computational Methods in Systems Biology: First International Workshop, CMSB …, 2003 | 59 | 2003 |

Reversible structures L Cardelli, C Laneve Proceedings of the 9th International Conference on Computational Methods in …, 2011 | 57 | 2011 |

A simple calculus for proteins and cells C Laneve, F Tarissan Electronic Notes in Theoretical Computer Science 171 (2), 139-154, 2007 | 50 | 2007 |

A basic contract language for web services S Carpineti, C Laneve Programming Languages and Systems: 15th European Symposium on Programming …, 2006 | 49 | 2006 |

PiDuce: a process calculus with native XML datatypes AL Brown, C Laneve, LG Meredith Formal Techniques for Computer Systems and Business Processes: European …, 2005 | 46 | 2005 |

Solos in concert C Laneve, B Victor Mathematical Structures in Computer Science 13 (5), 657-683, 2003 | 46 | 2003 |

Solos in concert C Laneve, B Victor Mathematical Structures in Computer Science 13 (5), 657-683, 2003 | 46 | 2003 |