BibTeX records: Marie Duflot

download as .bib file

@article{DBLP:journals/pe/BallariniBDHP15,
  author    = {Paolo Ballarini and
               Beno{\^{\i}}t Barbot and
               Marie Duflot and
               Serge Haddad and
               Nihal Pekergin},
  title     = {{HASL:} {A} new approach for performance evaluation and model checking
               from concepts to experimentation},
  journal   = {Perform. Eval.},
  volume    = {90},
  pages     = {53--77},
  year      = {2015},
  url       = {https://doi.org/10.1016/j.peva.2015.04.003},
  doi       = {10.1016/j.peva.2015.04.003},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/pe/BallariniBDHP15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BallariniD15,
  author    = {Paolo Ballarini and
               Marie Duflot},
  title     = {Applications of an expressive statistical model checking approach
               to the analysis of genetic circuits},
  journal   = {Theor. Comput. Sci.},
  volume    = {599},
  pages     = {4--33},
  year      = {2015},
  url       = {https://doi.org/10.1016/j.tcs.2015.05.018},
  doi       = {10.1016/j.tcs.2015.05.018},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/BallariniD15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/ChenDM14,
  author    = {Jingshu Chen and
               Marie Duflot and
               Stephan Merz},
  title     = {Analyzing Conflict Freedom for Multi-threaded Programs With Time Annotations},
  journal   = {{ECEASST}},
  volume    = {70},
  year      = {2014},
  url       = {https://doi.org/10.14279/tuj.eceasst.70.978},
  doi       = {10.14279/tuj.eceasst.70.978},
  timestamp = {Wed, 22 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/eceasst/ChenDM14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/ArapinisD14,
  author    = {Myrto Arapinis and
               Marie Duflot},
  title     = {Bounding messages for free in security protocols - extension to various
               security properties},
  journal   = {Inf. Comput.},
  volume    = {239},
  pages     = {182--215},
  year      = {2014},
  url       = {https://doi.org/10.1016/j.ic.2014.09.003},
  doi       = {10.1016/j.ic.2014.09.003},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iandc/ArapinisD14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ChenDM14a,
  author    = {Jingshu Chen and
               Marie Duflot and
               Stephan Merz},
  title     = {Analyzing Conflict Freedom For Multi-threaded Programs With Time Annotations},
  journal   = {CoRR},
  volume    = {abs/1412.0961},
  year      = {2014},
  url       = {http://arxiv.org/abs/1412.0961},
  archivePrefix = {arXiv},
  eprint    = {1412.0961},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/ChenDM14a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/BallariniDDHP11,
  author    = {Paolo Ballarini and
               Hilal Djafri and
               Marie Duflot and
               Serge Haddad and
               Nihal Pekergin},
  title     = {Petri nets compositional modeling and verification of Flexible Manufacturing
               Systems},
  booktitle = {{IEEE} Conference on Automation Science and Engineering, {CASE} 2011,
               Trieste, Italy, Aug. 24-27, 2011},
  pages     = {588--593},
  year      = {2011},
  crossref  = {DBLP:conf/case/2011},
  url       = {https://doi.org/10.1109/CASE.2011.6042488},
  doi       = {10.1109/CASE.2011.6042488},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/case/BallariniDDHP11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/BallariniDDHP11,
  author    = {Paolo Ballarini and
               Hilal Djafri and
               Marie Duflot and
               Serge Haddad and
               Nihal Pekergin},
  title     = {{COSMOS:} {A} Statistical Model Checker for the Hybrid Automata Stochastic
               Logic},
  booktitle = {Eighth International Conference on Quantitative Evaluation of Systems,
               {QEST} 2011, Aachen, Germany, 5-8 September, 2011},
  pages     = {143--144},
  year      = {2011},
  crossref  = {DBLP:conf/qest/2011},
  url       = {https://doi.org/10.1109/QEST.2011.24},
  doi       = {10.1109/QEST.2011.24},
  timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/qest/BallariniDDHP11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/valuetools/BallariniDDHP11,
  author    = {Paolo Ballarini and
               Hilal Djafri and
               Marie Duflot and
               Serge Haddad and
               Nihal Pekergin},
  title     = {{HASL:} an expressive language for statistical verification of stochastic
               models},
  booktitle = {5th International {ICST} Conference on Performance Evaluation Methodologies
               and Tools Communications, {VALUETOOLS} '11, Paris, France, May 16-20,
               2011},
  pages     = {306--315},
  year      = {2011},
  crossref  = {DBLP:conf/valuetools/2011},
  url       = {https://doi.org/10.4108/icst.valuetools.2011.245710},
  doi       = {10.4108/icst.valuetools.2011.245710},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/valuetools/BallariniDDHP11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BouyerDMR09,
  author    = {Patricia Bouyer and
               Marie Duflot and
               Nicolas Markey and
               Gabriel Renault},
  title     = {Measuring Permissivity in Finite Games},
  booktitle = {{CONCUR} 2009 - Concurrency Theory, 20th International Conference,
               {CONCUR} 2009, Bologna, Italy, September 1-4, 2009. Proceedings},
  pages     = {196--210},
  year      = {2009},
  crossref  = {DBLP:conf/concur/2009},
  url       = {https://doi.org/10.1007/978-3-642-04081-8\_14},
  doi       = {10.1007/978-3-642-04081-8\_14},
  timestamp = {Tue, 14 May 2019 10:00:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/concur/BouyerDMR09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/ChamseddineDFPS08,
  author    = {Najla Chamseddine and
               Marie Duflot and
               Laurent Fribourg and
               Claudine Picaronny and
               Jeremy Sproston},
  title     = {Computing Expected Absorption Times for Parametric Determinate Probabilistic
               Timed Automata},
  booktitle = {Fifth International Conference on the Quantitative Evaluaiton of Systems
               {(QEST} 2008), 14-17 September 2008, Saint-Malo, France},
  pages     = {254--263},
  year      = {2008},
  crossref  = {DBLP:conf/qest/2008},
  url       = {https://doi.org/10.1109/QEST.2008.34},
  doi       = {10.1109/QEST.2008.34},
  timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/qest/ChamseddineDFPS08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csr/BeauquierDL07,
  author    = {Dani{\`{e}}le Beauquier and
               Marie Duflot and
               Yury Lifshits},
  title     = {Decidability of Parameterized Probabilistic Information Flow},
  booktitle = {Computer Science - Theory and Applications, Second International Symposium
               on Computer Science in Russia, {CSR} 2007, Ekaterinburg, Russia, September
               3-7, 2007, Proceedings},
  pages     = {82--91},
  year      = {2007},
  crossref  = {DBLP:conf/csr/2007},
  url       = {https://doi.org/10.1007/978-3-540-74510-5\_11},
  doi       = {10.1007/978-3-540-74510-5\_11},
  timestamp = {Sun, 02 Jun 2019 21:21:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/csr/BeauquierDL07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/ArapinisD07,
  author    = {Myrto Arapinis and
               Marie Duflot},
  title     = {Bounding Messages for Free in Security Protocols},
  booktitle = {{FSTTCS} 2007: Foundations of Software Technology and Theoretical
               Computer Science, 27th International Conference, New Delhi, India,
               December 12-14, 2007, Proceedings},
  pages     = {376--387},
  year      = {2007},
  crossref  = {DBLP:conf/fsttcs/2007},
  url       = {https://doi.org/10.1007/978-3-540-77050-3\_31},
  doi       = {10.1007/978-3-540-77050-3\_31},
  timestamp = {Tue, 14 May 2019 10:00:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fsttcs/ArapinisD07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/DuflotKNP06,
  author    = {Marie Duflot and
               Marta Z. Kwiatkowska and
               Gethin Norman and
               David Parker},
  title     = {A formal analysis of bluetooth device discovery},
  journal   = {{STTT}},
  volume    = {8},
  number    = {6},
  pages     = {621--632},
  year      = {2006},
  url       = {https://doi.org/10.1007/s10009-006-0014-x},
  doi       = {10.1007/s10009-006-0014-x},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/sttt/DuflotKNP06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/DuflotFHLMMPP05,
  author    = {Marie Duflot and
               Laurent Fribourg and
               Thomas H{\'{e}}rault and
               Richard Lassaigne and
               Fr{\'{e}}d{\'{e}}ric Magniette and
               St{\'{e}}phane Messika and
               Sylvain Peyronnet and
               Claudine Picaronny},
  title     = {Probabilistic Model Checking of the {CSMA/CD} Protocol Using {PRISM}
               and {APMC}},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {128},
  number    = {6},
  pages     = {195--214},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.entcs.2005.04.012},
  doi       = {10.1016/j.entcs.2005.04.012},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/DuflotFHLMMPP05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mmmacns/BeauquierDM05,
  author    = {Dani{\`{e}}le Beauquier and
               Marie Duflot and
               Marius Minea},
  title     = {A Probabilistic Property-Specific Approach to Information Flow},
  booktitle = {Computer Network Security, Third International Workshop on Mathematical
               Methods, Models, and Architectures for Computer Network Security,
               {MMM-ACNS} 2005, St. Petersburg, Russia, September 25-27, 2005, Proceedings},
  pages     = {206--220},
  year      = {2005},
  crossref  = {DBLP:conf/mmmacns/2005},
  url       = {https://doi.org/10.1007/11560326\_16},
  doi       = {10.1007/11560326\_16},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mmmacns/BeauquierDM05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/DuflotFP04,
  author    = {Marie Duflot and
               Laurent Fribourg and
               Claudine Picaronny},
  title     = {Randomized dining philosophers without fairness assumption},
  journal   = {Distributed Computing},
  volume    = {17},
  number    = {1},
  pages     = {65--76},
  year      = {2004},
  url       = {https://doi.org/10.1007/s00446-003-0102-z},
  doi       = {10.1007/s00446-003-0102-z},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/dc/DuflotFP04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/DuflotKNP04,
  author    = {Marie Duflot and
               Marta Z. Kwiatkowska and
               Gethin Norman and
               David Parker},
  title     = {A Formal Analysis of Bluetooth Device Discovery},
  booktitle = {International Symposium on Leveraging Applications of Formal Methods,
               ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary
               proceedings},
  pages     = {268--275},
  year      = {2004},
  crossref  = {DBLP:conf/isola/2004i},
  timestamp = {Thu, 23 Apr 2015 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isola/DuflotKNP04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Duflot03,
  author    = {Marie Duflot},
  title     = {Algorithmes distribu{\'{e}}s sur des anneaux param{\'{e}}tr{\'{e}}s
               - Preuves de convergence probabiliste et d{\'{e}}terministe.
               (Distributed algorithms on parameterized rings - Probabilistic and
               deterministic convergence proofs)},
  school    = {{\'{E}}cole normale sup{\'{e}}rieure de Cachan, France},
  year      = {2003},
  url       = {https://tel.archives-ouvertes.fr/tel-00091429},
  timestamp = {Tue, 19 Jul 2016 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/phd/hal/Duflot03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/DuflotFP02,
  author    = {Marie Duflot and
               Laurent Fribourg and
               Claudine Picaronny},
  title     = {Randomized Dining Philosophers without Fairness Assumption},
  booktitle = {Foundations of Information Technology in the Era of Networking and
               Mobile Computing, {IFIP} 17\({}^{\mbox{th}}\) World Computer Congress
               - {TC1} Stream / 2\({}^{\mbox{nd}}\) {IFIP} International Conference
               on Theoretical Computer Science {(TCS} 2002), August 25-30, 2002,
               Montr{\'{e}}al, Qu{\'{e}}bec, Canada},
  pages     = {169--180},
  year      = {2002},
  crossref  = {DBLP:conf/ifipTCS/2002},
  url       = {https://doi.org/10.1007/978-0-387-35608-2\_15},
  doi       = {10.1007/978-0-387-35608-2\_15},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifipTCS/DuflotFP02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/DuflotFN01,
  author    = {Marie Duflot and
               Laurent Fribourg and
               Ulf Nilsson},
  title     = {Unavoidable Configurations of Parameterized Rings of Processes},
  booktitle = {{CONCUR} 2001 - Concurrency Theory, 12th International Conference,
               Aalborg, Denmark, August 20-25, 2001, Proceedings},
  pages     = {472--486},
  year      = {2001},
  crossref  = {DBLP:conf/concur/2001},
  url       = {https://doi.org/10.1007/3-540-44685-0\_32},
  doi       = {10.1007/3-540-44685-0\_32},
  timestamp = {Tue, 14 May 2019 10:00:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/concur/DuflotFN01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/DuflotFP01,
  author    = {Marie Duflot and
               Laurent Fribourg and
               Claudine Picaronny},
  title     = {Randomized Finite-State Distributed Algorithms as Markov Chains},
  booktitle = {Distributed Computing, 15th International Conference, {DISC} 2001,
               Lisbon, Portugal, October 3-5, 2001, Proceedings},
  pages     = {240--254},
  year      = {2001},
  crossref  = {DBLP:conf/wdag/2001},
  url       = {https://doi.org/10.1007/3-540-45414-4\_17},
  doi       = {10.1007/3-540-45414-4\_17},
  timestamp = {Tue, 14 May 2019 10:00:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wdag/DuflotFP01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/case/2011,
  title     = {{IEEE} Conference on Automation Science and Engineering, {CASE} 2011,
               Trieste, Italy, Aug. 24-27, 2011},
  publisher = {{IEEE}},
  year      = {2011},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/6033676/proceeding},
  isbn      = {978-1-4577-1730-7},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/case/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/qest/2011,
  title     = {Eighth International Conference on Quantitative Evaluation of Systems,
               {QEST} 2011, Aachen, Germany, 5-8 September, 2011},
  publisher = {{IEEE} Computer Society},
  year      = {2011},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/6041098/proceeding},
  isbn      = {978-1-4577-0973-9},
  timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/qest/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/valuetools/2011,
  editor    = {Samson Lasaulce and
               Dieter Fiems and
               Peter G. Harrison and
               Luc Vandendorpe},
  title     = {5th International {ICST} Conference on Performance Evaluation Methodologies
               and Tools Communications, {VALUETOOLS} '11, Paris, France, May 16-20,
               2011},
  publisher = {{ICST/ACM}},
  year      = {2011},
  url       = {http://eudl.eu/proceedings/VALUETOOLS/2011},
  isbn      = {978-1-936968-09-1},
  timestamp = {Tue, 24 Mar 2015 18:02:57 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/valuetools/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/2009,
  editor    = {Mario Bravetti and
               Gianluigi Zavattaro},
  title     = {{CONCUR} 2009 - Concurrency Theory, 20th International Conference,
               {CONCUR} 2009, Bologna, Italy, September 1-4, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5710},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-04081-8},
  doi       = {10.1007/978-3-642-04081-8},
  isbn      = {978-3-642-04080-1},
  timestamp = {Tue, 14 May 2019 10:00:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/concur/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/qest/2008,
  title     = {Fifth International Conference on the Quantitative Evaluaiton of Systems
               {(QEST} 2008), 14-17 September 2008, Saint-Malo, France},
  publisher = {{IEEE} Computer Society},
  year      = {2008},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/4634932/proceeding},
  isbn      = {978-0-7695-3360-5},
  timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/qest/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csr/2007,
  editor    = {Volker Diekert and
               Mikhail V. Volkov and
               Andrei Voronkov},
  title     = {Computer Science - Theory and Applications, Second International Symposium
               on Computer Science in Russia, {CSR} 2007, Ekaterinburg, Russia, September
               3-7, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4649},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-74510-5},
  doi       = {10.1007/978-3-540-74510-5},
  isbn      = {978-3-540-74509-9},
  timestamp = {Sun, 02 Jun 2019 21:21:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/csr/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fsttcs/2007,
  editor    = {Vikraman Arvind and
               Sanjiva Prasad},
  title     = {{FSTTCS} 2007: Foundations of Software Technology and Theoretical
               Computer Science, 27th International Conference, New Delhi, India,
               December 12-14, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4855},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-77050-3},
  doi       = {10.1007/978-3-540-77050-3},
  isbn      = {978-3-540-77049-7},
  timestamp = {Tue, 14 May 2019 10:00:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fsttcs/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mmmacns/2005,
  editor    = {Vladimir Gorodetsky and
               Igor V. Kotenko and
               Victor A. Skormin},
  title     = {Computer Network Security, Third International Workshop on Mathematical
               Methods, Models, and Architectures for Computer Network Security,
               {MMM-ACNS} 2005, St. Petersburg, Russia, September 25-27, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3685},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11560326},
  doi       = {10.1007/11560326},
  isbn      = {3-540-29113-X},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mmmacns/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isola/2004i,
  editor    = {Tiziana Margaria and
               Bernhard Steffen and
               Anna Philippou and
               Manfred Reitenspie{\ss}},
  title     = {International Symposium on Leveraging Applications of Formal Methods,
               ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary
               proceedings},
  series    = {Technical Report},
  volume    = {{TR-2004-6}},
  publisher = {Department of Computer Science, University of Cyprus},
  year      = {2004},
  timestamp = {Thu, 11 Sep 2008 12:07:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isola/2004i},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifipTCS/2002,
  editor    = {Ricardo A. Baeza{-}Yates and
               Ugo Montanari and
               Nicola Santoro},
  title     = {Foundations of Information Technology in the Era of Networking and
               Mobile Computing, {IFIP} 17\({}^{\mbox{th}}\) World Computer Congress
               - {TC1} Stream / 2\({}^{\mbox{nd}}\) {IFIP} International Conference
               on Theoretical Computer Science {(TCS} 2002), August 25-30, 2002,
               Montr{\'{e}}al, Qu{\'{e}}bec, Canada},
  series    = {{IFIP} Conference Proceedings},
  volume    = {223},
  publisher = {Kluwer},
  year      = {2002},
  url       = {https://doi.org/10.1007/978-0-387-35608-2},
  doi       = {10.1007/978-0-387-35608-2},
  isbn      = {1-4020-7181-7},
  timestamp = {Fri, 27 Sep 2019 10:35:17 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifipTCS/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/2001,
  editor    = {Kim Guldstrand Larsen and
               Mogens Nielsen},
  title     = {{CONCUR} 2001 - Concurrency Theory, 12th International Conference,
               Aalborg, Denmark, August 20-25, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2154},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-44685-0},
  doi       = {10.1007/3-540-44685-0},
  isbn      = {3-540-42497-0},
  timestamp = {Tue, 14 May 2019 10:00:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/concur/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wdag/2001,
  editor    = {Jennifer L. Welch},
  title     = {Distributed Computing, 15th International Conference, {DISC} 2001,
               Lisbon, Portugal, October 3-5, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2180},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45414-4},
  doi       = {10.1007/3-540-45414-4},
  isbn      = {3-540-42605-1},
  timestamp = {Tue, 14 May 2019 10:00:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wdag/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics