Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

BibTeX records: Cédric Lhoussaine

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Persons > Cédric Lhoussaine

download as .bib file

@inproceedings{DBLP:conf/biostec/DursoniahFGRPL24,
  author       = {Danilo Dursoniah and
                  Maxime Folschette and
                  Rebecca Goutchtat and
                  Violeta Raverdy and
                  Fran{\c{c}}ois Pattou and
                  C{\'{e}}dric Lhoussaine},
  editor       = {Maria Pedro Guarino and
                  Kazuhiro Hotta and
                  Malik Yousef and
                  Hui Liu and
                  Giovanni Saggio and
                  Ana L. N. Fred and
                  Hugo Gamboa},
  title        = {Modeling Intestinal Glucose Absorption from D-Xylose Data},
  booktitle    = {Proceedings of the 17th International Joint Conference on Biomedical
                  Engineering Systems and Technologies, {BIOSTEC} 2024, Volume 1, Rome,
                  Italy, February 21-23, 2024},
  pages        = {438--445},
  publisher    = {{SCITEPRESS}},
  year         = {2024},
  url          = {https://doi.org/10.5220/0012358300003657},
  doi          = {10.5220/0012358300003657},
  timestamp    = {Fri, 22 Mar 2024 11:13:55 +0100},
  biburl       = {https://dblp.org/rec/conf/biostec/DursoniahFGRPL24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cmsb/NiehrenLV23,
  author       = {Joachim Niehren and
                  C{\'{e}}dric Lhoussaine and
                  Ath{\'{e}}na{\"{\i}}s Vaginay},
  editor       = {Jun Pang and
                  Joachim Niehren},
  title        = {Core {SBML} and Its Formal Semantics},
  booktitle    = {Computational Methods in Systems Biology - 21st International Conference,
                  {CMSB} 2023, Luxembourg City, Luxembourg, September 13-15, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14137},
  pages        = {124--143},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-42697-1\_9},
  doi          = {10.1007/978-3-031-42697-1\_9},
  timestamp    = {Fri, 15 Sep 2023 15:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/cmsb/NiehrenLV23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/computation/MadelaineTLN17,
  author       = {Guillaume Madelaine and
                  Elisa Tonello and
                  C{\'{e}}dric Lhoussaine and
                  Joachim Niehren},
  title        = {Simplification of Reaction Networks, Confluence and Elementary Modes},
  journal      = {Comput.},
  volume       = {5},
  number       = {1},
  pages        = {14},
  year         = {2017},
  url          = {https://doi.org/10.3390/computation5010014},
  doi          = {10.3390/COMPUTATION5010014},
  timestamp    = {Thu, 01 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/computation/MadelaineTLN17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/biosystems/MadelaineLNT16,
  author       = {Guillaume Madelaine and
                  C{\'{e}}dric Lhoussaine and
                  Joachim Niehren and
                  Elisa Tonello},
  title        = {Structural simplification of chemical reaction networks in partial
                  steady states},
  journal      = {Biosyst.},
  volume       = {149},
  pages        = {34--49},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.biosystems.2016.08.003},
  doi          = {10.1016/J.BIOSYSTEMS.2016.08.003},
  timestamp    = {Thu, 20 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/biosystems/MadelaineLNT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cmsb/MadelaineTLN16,
  author       = {Guillaume Madelaine and
                  Elisa Tonello and
                  C{\'{e}}dric Lhoussaine and
                  Joachim Niehren},
  editor       = {Ezio Bartocci and
                  Pietro Li{\`{o}} and
                  Nicola Paoletti},
  title        = {Normalizing Chemical Reaction Networks by Confluent Structural Simplification},
  booktitle    = {Computational Methods in Systems Biology - 14th International Conference,
                  {CMSB} 2016, Cambridge, UK, September 21-23, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9859},
  pages        = {201--215},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-45177-0\_13},
  doi          = {10.1007/978-3-319-45177-0\_13},
  timestamp    = {Sun, 02 Jun 2019 21:13:15 +0200},
  biburl       = {https://dblp.org/rec/conf/cmsb/MadelaineTLN16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cmsb/MadelaineLN15,
  author       = {Guillaume Madelaine and
                  C{\'{e}}dric Lhoussaine and
                  Joachim Niehren},
  editor       = {Olivier F. Roux and
                  J{\'{e}}r{\'{e}}mie Bourdon},
  title        = {Structural Simplification of Chemical Reaction Networks Preserving
                  Deterministic Semantics},
  booktitle    = {Computational Methods in Systems Biology - 13th International Conference,
                  {CMSB} 2015, Nantes, France, September 16-18, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9308},
  pages        = {133--144},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23401-4\_12},
  doi          = {10.1007/978-3-319-23401-4\_12},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/cmsb/MadelaineLN15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmmb/MadelaineLN14,
  author       = {Guillaume Madelaine and
                  C{\'{e}}dric Lhoussaine and
                  Joachim Niehren},
  editor       = {Fran{\c{c}}ois Fages and
                  Carla Piazza},
  title        = {Attractor Equivalence: An Observational Semantics for Reaction Networks},
  booktitle    = {Formal Methods in Macro-Biology - First International Conference,
                  {FMMB} 2014, Noum{\'{e}}a, New Caledonia, September 22-24, 2014.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8738},
  pages        = {82--101},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10398-3\_7},
  doi          = {10.1007/978-3-319-10398-3\_7},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/fmmb/MadelaineLN14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/BatmanovKLS12,
  author       = {Kirill Batmanov and
                  C{\'{e}}line Kuttler and
                  C{\'{e}}dric Lhoussaine and
                  Yasushi Saka},
  title        = {Self-organized Patterning by Diffusible Factors: Roles of a Community
                  Effect},
  journal      = {Fundam. Informaticae},
  volume       = {118},
  number       = {4},
  pages        = {419--461},
  year         = {2012},
  url          = {https://doi.org/10.3233/FI-2012-723},
  doi          = {10.3233/FI-2012-723},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/BatmanovKLS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cmsb/BatmanovKLLV12,
  author       = {Kirill Batmanov and
                  C{\'{e}}line Kuttler and
                  Fran{\c{c}}ois Lemaire and
                  C{\'{e}}dric Lhoussaine and
                  Cristian Versari},
  editor       = {David R. Gilbert and
                  Monika Heiner},
  title        = {Symmetry-Based Model Reduction for Approximate Stochastic Analysis},
  booktitle    = {Computational Methods in Systems Biology - 10th International Conference,
                  {CMSB} 2012, London, UK, October 3-5, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7605},
  pages        = {49--68},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33636-2\_5},
  doi          = {10.1007/978-3-642-33636-2\_5},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/cmsb/BatmanovKLLV12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cmsb/HarmerKLLMN12,
  author       = {Russell Harmer and
                  Jean Krivine and
                  {\'{E}}lise Laruelle and
                  C{\'{e}}dric Lhoussaine and
                  Guillaume Madelaine and
                  Mirabelle Nebut},
  editor       = {David R. Gilbert and
                  Monika Heiner},
  title        = {Models of Tet-On System with Epigenetic Effects},
  booktitle    = {Computational Methods in Systems Biology - 10th International Conference,
                  {CMSB} 2012, London, UK, October 3-5, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7605},
  pages        = {378--381},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33636-2\_25},
  doi          = {10.1007/978-3-642-33636-2\_25},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cmsb/HarmerKLLMN12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bmcsb/SakaLKUT11,
  author       = {Yasushi Saka and
                  C{\'{e}}dric Lhoussaine and
                  C{\'{e}}line Kuttler and
                  Ekkehard Ullner and
                  Marco Thiel},
  title        = {Theoretical basis of the community effect in development},
  journal      = {{BMC} Syst. Biol.},
  volume       = {5},
  pages        = {54},
  year         = {2011},
  url          = {https://doi.org/10.1186/1752-0509-5-54},
  doi          = {10.1186/1752-0509-5-54},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bmcsb/SakaLKUT11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/JohnLNV11,
  author       = {Mathias John and
                  C{\'{e}}dric Lhoussaine and
                  Joachim Niehren and
                  Cristian Versari},
  editor       = {Gilles Barthe},
  title        = {Biochemical Reaction Rules with Constraints},
  booktitle    = {Programming Languages and Systems - 20th European Symposium on Programming,
                  {ESOP} 2011, Held as Part of the Joint European Conferences on Theory
                  and Practice of Software, {ETAPS} 2011, Saarbr{\"{u}}cken, Germany,
                  March 26-April 3, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6602},
  pages        = {338--357},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-19718-5\_18},
  doi          = {10.1007/978-3-642-19718-5\_18},
  timestamp    = {Sat, 19 Oct 2019 20:28:04 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/JohnLNV11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcsb/JohnLNU10,
  author       = {Mathias John and
                  C{\'{e}}dric Lhoussaine and
                  Joachim Niehren and
                  Adelinde M. Uhrmacher},
  title        = {The Attributed Pi-Calculus with Priorities},
  journal      = {Trans. Comp. Sys. Biology},
  volume       = {12},
  pages        = {13--76},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-11712-1\_2},
  doi          = {10.1007/978-3-642-11712-1\_2},
  timestamp    = {Thu, 14 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcsb/JohnLNU10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcsb/KuttlerLN10,
  author       = {C{\'{e}}line Kuttler and
                  C{\'{e}}dric Lhoussaine and
                  Mirabelle Nebut},
  title        = {Rule-Based Modeling of Transcriptional Attenuation at the Tryptophan
                  Operon},
  journal      = {Trans. Comp. Sys. Biology},
  volume       = {12},
  pages        = {199--228},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-11712-1\_6},
  doi          = {10.1007/978-3-642-11712-1\_6},
  timestamp    = {Thu, 14 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcsb/KuttlerLN10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cmsb/JohnLN09,
  author       = {Mathias John and
                  C{\'{e}}dric Lhoussaine and
                  Joachim Niehren},
  editor       = {Pierpaolo Degano and
                  Roberto Gorrieri},
  title        = {Dynamic Compartments in the Imperative \emph{pi}-Calculus},
  booktitle    = {Computational Methods in Systems Biology, 7th International Conference,
                  {CMSB} 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5688},
  pages        = {235--250},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-03845-7\_16},
  doi          = {10.1007/978-3-642-03845-7\_16},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/cmsb/JohnLN09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wsc/KuttlerLN09,
  author       = {C{\'{e}}line Kuttler and
                  C{\'{e}}dric Lhoussaine and
                  Mirabelle Nebut},
  editor       = {Ann Dunkin and
                  Ricki G. Ingalls and
                  Enver Y{\"{u}}cesan and
                  Manuel D. Rossetti and
                  Ray Hill and
                  Bj{\"{o}}rn Johansson},
  title        = {Rule-based Modeling of Transcriptional Attenuation at the Tryptophan
                  Operon},
  booktitle    = {Proceedings of the 2009 Winter Simulation Conference, {WSC} 2009,
                  Hilton Austin Hotel, Austin, TX, USA, December 13-16, 2009},
  pages        = {920--931},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://doi.org/10.1109/WSC.2009.5429721},
  doi          = {10.1109/WSC.2009.5429721},
  timestamp    = {Thu, 10 Jun 2021 22:18:58 +0200},
  biburl       = {https://dblp.org/rec/conf/wsc/KuttlerLN09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/KuttlerLN09,
  author       = {C{\'{e}}line Kuttler and
                  C{\'{e}}dric Lhoussaine and
                  Mirabelle Nebut},
  editor       = {Rainer Breitling and
                  David Roger Gilbert and
                  Monika Heiner and
                  Corrado Priami},
  title        = {Rule-based Modeling of Transcriptional Attenuation at the Tryptophan
                  Operon},
  booktitle    = {Formal Methods in Molecular Biology, 22.02. - 27.02.2009},
  series       = {Dagstuhl Seminar Proceedings},
  volume       = {09091},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
  year         = {2009},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2009/1993/},
  timestamp    = {Thu, 10 Jun 2021 13:02:05 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/KuttlerLN09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cmsb/JohnLNU08,
  author       = {Mathias John and
                  C{\'{e}}dric Lhoussaine and
                  Joachim Niehren and
                  Adelinde M. Uhrmacher},
  editor       = {Monika Heiner and
                  Adelinde M. Uhrmacher},
  title        = {The Attributed Pi Calculus},
  booktitle    = {Computational Methods in Systems Biology, 6th International Conference,
                  {CMSB} 2008, Rostock, Germany, October 12-15, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5307},
  pages        = {83--102},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-88562-7\_10},
  doi          = {10.1007/978-3-540-88562-7\_10},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/cmsb/JohnLNU08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ab/KuttlerLN07,
  author       = {C{\'{e}}line Kuttler and
                  C{\'{e}}dric Lhoussaine and
                  Joachim Niehren},
  editor       = {Hirokazu Anai and
                  Katsuhisa Horimoto and
                  Temur Kutsia},
  title        = {A Stochastic Pi Calculus for Concurrent Objects},
  booktitle    = {Algebraic Biology, Second International Conference, {AB} 2007, Castle
                  of Hagenberg, Austria, July 2-4, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4545},
  pages        = {232--246},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73433-8\_17},
  doi          = {10.1007/978-3-540-73433-8\_17},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/ab/KuttlerLN07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Lhoussaine04,
  author       = {C{\'{e}}dric Lhoussaine},
  title        = {Type inference for a distributed {\textbackslash}pi-calculus},
  journal      = {Sci. Comput. Program.},
  volume       = {50},
  number       = {1-3},
  pages        = {225--251},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.scico.2003.12.003},
  doi          = {10.1016/J.SCICO.2003.12.003},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Lhoussaine04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/LhoussaineS04,
  author       = {C{\'{e}}dric Lhoussaine and
                  Vladimiro Sassone},
  editor       = {David A. Schmidt},
  title        = {A Dependently Typed Ambient Calculus},
  booktitle    = {Programming Languages and Systems, 13th European Symposium on Programming,
                  {ESOP} 2004, Held as Part of the Joint European Conferences on Theory
                  and Practice of Software, {ETAPS} 2004, Barcelona, Spain, March 29
                  - April 2, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2986},
  pages        = {171--187},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-24725-8\_13},
  doi          = {10.1007/978-3-540-24725-8\_13},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/LhoussaineS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/AmadioBL03,
  author       = {Roberto M. Amadio and
                  G{\'{e}}rard Boudol and
                  C{\'{e}}dric Lhoussaine},
  title        = {The receptive distributed pi-calculus},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {25},
  number       = {5},
  pages        = {549--577},
  year         = {2003},
  url          = {https://doi.org/10.1145/937563.937564},
  doi          = {10.1145/937563.937564},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/AmadioBL03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/Lhoussaine03,
  author       = {C{\'{e}}dric Lhoussaine},
  editor       = {Pierpaolo Degano},
  title        = {Type Inference for a Distributed pi-Calculus},
  booktitle    = {Programming Languages and Systems, 12th European Symposium on Programming,
                  {ESOP} 2003, Held as Part of the Joint European Conferences on Theory
                  and Practice of Software, {ETAPS} 2003, Warsaw, Poland, April 7-11,
                  2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2618},
  pages        = {253--268},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-36575-3\_18},
  doi          = {10.1007/3-540-36575-3\_18},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/Lhoussaine03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/AmadioBL02,
  author       = {Roberto M. Amadio and
                  G{\'{e}}rard Boudol and
                  C{\'{e}}dric Lhoussaine},
  title        = {On message deliverability and non-uniform receptivity},
  journal      = {Fundam. Informaticae},
  volume       = {53},
  number       = {2},
  pages        = {105--129},
  year         = {2002},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi53-2-01},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/AmadioBL02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/igpl/AudibertLS99,
  author       = {Laurent Audibert and
                  C{\'{e}}dric Lhoussaine and
                  Karl Schlechta},
  title        = {Distance Based Revision of Preferential Logics},
  journal      = {Log. J. {IGPL}},
  volume       = {7},
  number       = {4},
  pages        = {429--446},
  year         = {1999},
  url          = {https://doi.org/10.1093/jigpal/7.4.429},
  doi          = {10.1093/JIGPAL/7.4.429},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/AudibertLS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fsttcs/AmadioBL99,
  author       = {Roberto M. Amadio and
                  G{\'{e}}rard Boudol and
                  C{\'{e}}dric Lhoussaine},
  editor       = {C. Pandu Rangan and
                  Venkatesh Raman and
                  Ramaswamy Ramanujam},
  title        = {The Receptive Distributed pi-Calculus (Extended Abstract)},
  booktitle    = {Foundations of Software Technology and Theoretical Computer Science,
                  19th Conference, Chennai, India, December 13-15, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1738},
  pages        = {304--315},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-46691-6\_24},
  doi          = {10.1007/3-540-46691-6\_24},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/AmadioBL99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.