Search dblp for Publications

export results for "toc:db/conf/concur/concur2001.bht:"

 download as .bib file

@inproceedings{DBLP:conf/concur/AbdullaJ01,
  author       = {Parosh Aziz Abdulla and
                  Bengt Jonsson},
  editor       = {Kim Guldstrand Larsen and
                  Mogens Nielsen},
  title        = {Channel Representations in Protocol Verification},
  booktitle    = {{CONCUR} 2001 - Concurrency Theory, 12th International Conference,
                  Aalborg, Denmark, August 20-25, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2154},
  pages        = {1--15},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44685-0\_1},
  doi          = {10.1007/3-540-44685-0\_1},
  timestamp    = {Tue, 31 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/AbdullaJ01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/Aldini01,
  author       = {Alessandro Aldini},
  editor       = {Kim Guldstrand Larsen and
                  Mogens Nielsen},
  title        = {Probabilistic Information Flow in a Process Algebra},
  booktitle    = {{CONCUR} 2001 - Concurrency Theory, 12th International Conference,
                  Aalborg, Denmark, August 20-25, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2154},
  pages        = {152--168},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44685-0\_11},
  doi          = {10.1007/3-540-44685-0\_11},
  timestamp    = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/Aldini01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/AlfaroHJ01,
  author       = {Luca de Alfaro and
                  Thomas A. Henzinger and
                  Ranjit Jhala},
  editor       = {Kim Guldstrand Larsen and
                  Mogens Nielsen},
  title        = {Compositional Methods for Probabilistic Systems},
  booktitle    = {{CONCUR} 2001 - Concurrency Theory, 12th International Conference,
                  Aalborg, Denmark, August 20-25, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2154},
  pages        = {351--365},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44685-0\_24},
  doi          = {10.1007/3-540-44685-0\_24},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/AlfaroHJ01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/AlfaroHM01,
  author       = {Luca de Alfaro and
                  Thomas A. Henzinger and
                  Rupak Majumdar},
  editor       = {Kim Guldstrand Larsen and
                  Mogens Nielsen},
  title        = {Symbolic Algorithms for Infinite-State Games},
  booktitle    = {{CONCUR} 2001 - Concurrency Theory, 12th International Conference,
                  Aalborg, Denmark, August 20-25, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2154},
  pages        = {536--550},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44685-0\_36},
  doi          = {10.1007/3-540-44685-0\_36},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/AlfaroHM01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/AlfaroHM01a,
  author       = {Luca de Alfaro and
                  Thomas A. Henzinger and
                  Freddy Y. C. Mang},
  editor       = {Kim Guldstrand Larsen and
                  Mogens Nielsen},
  title        = {The Control of Synchronous Systems, Part {II}},
  booktitle    = {{CONCUR} 2001 - Concurrency Theory, 12th International Conference,
                  Aalborg, Denmark, August 20-25, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2154},
  pages        = {566--582},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44685-0\_38},
  doi          = {10.1007/3-540-44685-0\_38},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/AlfaroHM01a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/AttieL01,
  author       = {Paul C. Attie and
                  Nancy A. Lynch},
  editor       = {Kim Guldstrand Larsen and
                  Mogens Nielsen},
  title        = {Dynamic Input/Output Automata: {A} Formal Model for Dynamic Systems},
  booktitle    = {{CONCUR} 2001 - Concurrency Theory, 12th International Conference,
                  Aalborg, Denmark, August 20-25, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2154},
  pages        = {137--151},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44685-0\_10},
  doi          = {10.1007/3-540-44685-0\_10},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/AttieL01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/BaldanCEH01,
  author       = {Paolo Baldan and
                  Andrea Corradini and
                  Hartmut Ehrig and
                  Reiko Heckel},
  editor       = {Kim Guldstrand Larsen and
                  Mogens Nielsen},
  title        = {Compositional Modeling of Reactive Systems Using Open Nets},
  booktitle    = {{CONCUR} 2001 - Concurrency Theory, 12th International Conference,
                  Aalborg, Denmark, August 20-25, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2154},
  pages        = {502--518},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44685-0\_34},
  doi          = {10.1007/3-540-44685-0\_34},
  timestamp    = {Sat, 04 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/BaldanCEH01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/BaldanCK01,
  author       = {Paolo Baldan and
                  Andrea Corradini and
                  Barbara K{\"{o}}nig},
  editor       = {Kim Guldstrand Larsen and
                  Mogens Nielsen},
  title        = {A Static Analysis Technique for Graph Transformation Systems},
  booktitle    = {{CONCUR} 2001 - Concurrency Theory, 12th International Conference,
                  Aalborg, Denmark, August 20-25, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2154},
  pages        = {381--395},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44685-0\_26},
  doi          = {10.1007/3-540-44685-0\_26},
  timestamp    = {Sat, 04 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/BaldanCK01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/BouyerPT01,
  author       = {Patricia Bouyer and
                  Antoine Petit and
                  Denis Th{\'{e}}rien},
  editor       = {Kim Guldstrand Larsen and
                  Mogens Nielsen},
  title        = {An Algebraic Characterization of Data and Timed Languages},
  booktitle    = {{CONCUR} 2001 - Concurrency Theory, 12th International Conference,
                  Aalborg, Denmark, August 20-25, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2154},
  pages        = {248--261},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44685-0\_17},
  doi          = {10.1007/3-540-44685-0\_17},
  timestamp    = {Thu, 14 Dec 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/concur/BouyerPT01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/BreugelW01,
  author       = {Franck van Breugel and
                  James Worrell},
  editor       = {Kim Guldstrand Larsen and
                  Mogens Nielsen},
  title        = {An Algorithm for Quantitative Verification of Probabilistic Transition
                  Systems},
  booktitle    = {{CONCUR} 2001 - Concurrency Theory, 12th International Conference,
                  Aalborg, Denmark, August 20-25, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2154},
  pages        = {336--350},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44685-0\_23},
  doi          = {10.1007/3-540-44685-0\_23},
  timestamp    = {Thu, 14 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/BreugelW01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/BugliesiCC01,
  author       = {Michele Bugliesi and
                  Giuseppe Castagna and
                  Silvia Crafa},
  editor       = {Kim Guldstrand Larsen and
                  Mogens Nielsen},
  title        = {Reasoning about Security in Mobile Ambients},
  booktitle    = {{CONCUR} 2001 - Concurrency Theory, 12th International Conference,
                  Aalborg, Denmark, August 20-25, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2154},
  pages        = {102--120},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44685-0\_8},
  doi          = {10.1007/3-540-44685-0\_8},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/BugliesiCC01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/CastagnaGN01,
  author       = {Giuseppe Castagna and
                  Giorgio Ghelli and
                  Francesco Zappa Nardelli},
  editor       = {Kim Guldstrand Larsen and
                  Mogens Nielsen},
  title        = {Typing Mobility in the Seal Calculus},
  booktitle    = {{CONCUR} 2001 - Concurrency Theory, 12th International Conference,
                  Aalborg, Denmark, August 20-25, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2154},
  pages        = {82--101},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44685-0\_7},
  doi          = {10.1007/3-540-44685-0\_7},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/CastagnaGN01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/ChechikDELP01,
  author       = {Marsha Chechik and
                  Benet Devereux and
                  Steve M. Easterbrook and
                  Albert Y. C. Lai and
                  Victor Petrovykh},
  editor       = {Kim Guldstrand Larsen and
                  Mogens Nielsen},
  title        = {Efficient Multiple-Valued Model-Checking Using Lattice Representations},
  booktitle    = {{CONCUR} 2001 - Concurrency Theory, 12th International Conference,
                  Aalborg, Denmark, August 20-25, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2154},
  pages        = {441--455},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44685-0\_30},
  doi          = {10.1007/3-540-44685-0\_30},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/ChechikDELP01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/ChenS01,
  author       = {Yifeng Chen and
                  Jeff W. Sanders},
  editor       = {Kim Guldstrand Larsen and
                  Mogens Nielsen},
  title        = {Logic of Global Synchrony},
  booktitle    = {{CONCUR} 2001 - Concurrency Theory, 12th International Conference,
                  Aalborg, Denmark, August 20-25, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2154},
  pages        = {487--501},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44685-0\_33},
  doi          = {10.1007/3-540-44685-0\_33},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/ChenS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/DuflotFN01,
  author       = {Marie Duflot and
                  Laurent Fribourg and
                  Ulf Nilsson},
  editor       = {Kim Guldstrand Larsen and
                  Mogens Nielsen},
  title        = {Unavoidable Configurations of Parameterized Rings of Processes},
  booktitle    = {{CONCUR} 2001 - Concurrency Theory, 12th International Conference,
                  Aalborg, Denmark, August 20-25, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2154},
  pages        = {472--486},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44685-0\_32},
  doi          = {10.1007/3-540-44685-0\_32},
  timestamp    = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/DuflotFN01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/GeldenhuysV01,
  author       = {Jaco Geldenhuys and
                  Antti Valmari},
  editor       = {Kim Guldstrand Larsen and
                  Mogens Nielsen},
  title        = {Techniques for Smaller Intermediary BDDs},
  booktitle    = {{CONCUR} 2001 - Concurrency Theory, 12th International Conference,
                  Aalborg, Denmark, August 20-25, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2154},
  pages        = {233--247},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44685-0\_16},
  doi          = {10.1007/3-540-44685-0\_16},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/GeldenhuysV01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/GlusmanK01,
  author       = {Marcelo Glusman and
                  Shmuel Katz},
  editor       = {Kim Guldstrand Larsen and
                  Mogens Nielsen},
  title        = {Extending Memory Consistency of Finite Prefixes to Infinite Computations},
  booktitle    = {{CONCUR} 2001 - Concurrency Theory, 12th International Conference,
                  Aalborg, Denmark, August 20-25, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2154},
  pages        = {411--425},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44685-0\_28},
  doi          = {10.1007/3-540-44685-0\_28},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/GlusmanK01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/GodefroidHJ01,
  author       = {Patrice Godefroid and
                  Michael Huth and
                  Radha Jagadeesan},
  editor       = {Kim Guldstrand Larsen and
                  Mogens Nielsen},
  title        = {Abstraction-Based Model Checking Using Modal Transition Systems},
  booktitle    = {{CONCUR} 2001 - Concurrency Theory, 12th International Conference,
                  Aalborg, Denmark, August 20-25, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2154},
  pages        = {426--440},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44685-0\_29},
  doi          = {10.1007/3-540-44685-0\_29},
  timestamp    = {Mon, 11 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/GodefroidHJ01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/HatcliffD01,
  author       = {John Hatcliff and
                  Matthew B. Dwyer},
  editor       = {Kim Guldstrand Larsen and
                  Mogens Nielsen},
  title        = {Using the Bandera Tool Set to Model-Check Properties of Concurrent
                  Java Software},
  booktitle    = {{CONCUR} 2001 - Concurrency Theory, 12th International Conference,
                  Aalborg, Denmark, August 20-25, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2154},
  pages        = {39--58},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44685-0\_5},
  doi          = {10.1007/3-540-44685-0\_5},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/HatcliffD01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/Heljanko01,
  author       = {Keijo Heljanko},
  editor       = {Kim Guldstrand Larsen and
                  Mogens Nielsen},
  title        = {Bounded Reachability Checking with Process Semantics},
  booktitle    = {{CONCUR} 2001 - Concurrency Theory, 12th International Conference,
                  Aalborg, Denmark, August 20-25, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2154},
  pages        = {218--232},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44685-0\_15},
  doi          = {10.1007/3-540-44685-0\_15},
  timestamp    = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/Heljanko01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/HermannsK01,
  author       = {Holger Hermanns and
                  Joost{-}Pieter Katoen},
  editor       = {Kim Guldstrand Larsen and
                  Mogens Nielsen},
  title        = {Performance Evaluation : = (Process Algebra + Model Checking) {\texttimes}
                  Markov Chains},
  booktitle    = {{CONCUR} 2001 - Concurrency Theory, 12th International Conference,
                  Aalborg, Denmark, August 20-25, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2154},
  pages        = {59--81},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44685-0\_6},
  doi          = {10.1007/3-540-44685-0\_6},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/HermannsK01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/HirschM01,
  author       = {Dan Hirsch and
                  Ugo Montanari},
  editor       = {Kim Guldstrand Larsen and
                  Mogens Nielsen},
  title        = {Synchronized Hyperedge Replacement with Name Mobility},
  booktitle    = {{CONCUR} 2001 - Concurrency Theory, 12th International Conference,
                  Aalborg, Denmark, August 20-25, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2154},
  pages        = {121--136},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44685-0\_9},
  doi          = {10.1007/3-540-44685-0\_9},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/HirschM01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/KhomenkoK01,
  author       = {Victor Khomenko and
                  Maciej Koutny},
  editor       = {Kim Guldstrand Larsen and
                  Mogens Nielsen},
  title        = {Towards an Efficient Algorithm for Unfolding Petri Nets},
  booktitle    = {{CONCUR} 2001 - Concurrency Theory, 12th International Conference,
                  Aalborg, Denmark, August 20-25, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2154},
  pages        = {366--380},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44685-0\_25},
  doi          = {10.1007/3-540-44685-0\_25},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/KhomenkoK01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/KremerR01,
  author       = {Steve Kremer and
                  Jean{-}Fran{\c{c}}ois Raskin},
  editor       = {Kim Guldstrand Larsen and
                  Mogens Nielsen},
  title        = {A Game-Based Verification of Non-repudiation and Fair Exchange Protocols},
  booktitle    = {{CONCUR} 2001 - Concurrency Theory, 12th International Conference,
                  Aalborg, Denmark, August 20-25, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2154},
  pages        = {551--565},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44685-0\_37},
  doi          = {10.1007/3-540-44685-0\_37},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/KremerR01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/KupfermanPV01,
  author       = {Orna Kupferman and
                  Nir Piterman and
                  Moshe Y. Vardi},
  editor       = {Kim Guldstrand Larsen and
                  Mogens Nielsen},
  title        = {Extended Temporal Logic Revisited},
  booktitle    = {{CONCUR} 2001 - Concurrency Theory, 12th International Conference,
                  Aalborg, Denmark, August 20-25, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2154},
  pages        = {519--535},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44685-0\_35},
  doi          = {10.1007/3-540-44685-0\_35},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/KupfermanPV01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/KwiatkowskaNS01,
  author       = {Marta Z. Kwiatkowska and
                  Gethin Norman and
                  Jeremy Sproston},
  editor       = {Kim Guldstrand Larsen and
                  Mogens Nielsen},
  title        = {Symbolic Computation of Maximal Probabilistic Reachability},
  booktitle    = {{CONCUR} 2001 - Concurrency Theory, 12th International Conference,
                  Aalborg, Denmark, August 20-25, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2154},
  pages        = {169--183},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44685-0\_12},
  doi          = {10.1007/3-540-44685-0\_12},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/KwiatkowskaNS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/LopezN01,
  author       = {Natalia L{\'{o}}pez and
                  Manuel N{\'{u}}{\~{n}}ez},
  editor       = {Kim Guldstrand Larsen and
                  Mogens Nielsen},
  title        = {A Testing Theory for Generally Distributed Stochastic Processes},
  booktitle    = {{CONCUR} 2001 - Concurrency Theory, 12th International Conference,
                  Aalborg, Denmark, August 20-25, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2154},
  pages        = {321--335},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44685-0\_22},
  doi          = {10.1007/3-540-44685-0\_22},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/concur/LopezN01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/LuttgenV01,
  author       = {Gerald L{\"{u}}ttgen and
                  Walter Vogler},
  editor       = {Kim Guldstrand Larsen and
                  Mogens Nielsen},
  title        = {A Faster-than Relation for Asynchronous Processes},
  booktitle    = {{CONCUR} 2001 - Concurrency Theory, 12th International Conference,
                  Aalborg, Denmark, August 20-25, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2154},
  pages        = {262--276},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44685-0\_18},
  doi          = {10.1007/3-540-44685-0\_18},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/LuttgenV01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/Milner01,
  author       = {Robin Milner},
  editor       = {Kim Guldstrand Larsen and
                  Mogens Nielsen},
  title        = {Bigraphical Reactive Systems},
  booktitle    = {{CONCUR} 2001 - Concurrency Theory, 12th International Conference,
                  Aalborg, Denmark, August 20-25, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2154},
  pages        = {16--35},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44685-0\_2},
  doi          = {10.1007/3-540-44685-0\_2},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/concur/Milner01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/NiebertHZL01,
  author       = {Peter Niebert and
                  Michaela Huhn and
                  Sarah Zennou and
                  Denis Lugiez},
  editor       = {Kim Guldstrand Larsen and
                  Mogens Nielsen},
  title        = {Local First Search - {A} New Paradigm for Partial Order Reductions},
  booktitle    = {{CONCUR} 2001 - Concurrency Theory, 12th International Conference,
                  Aalborg, Denmark, August 20-25, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2154},
  pages        = {396--410},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44685-0\_27},
  doi          = {10.1007/3-540-44685-0\_27},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/NiebertHZL01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/Phillips01,
  author       = {Iain Phillips},
  editor       = {Kim Guldstrand Larsen and
                  Mogens Nielsen},
  title        = {{CCS} with Priority Guards},
  booktitle    = {{CONCUR} 2001 - Concurrency Theory, 12th International Conference,
                  Aalborg, Denmark, August 20-25, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2154},
  pages        = {305--320},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44685-0\_21},
  doi          = {10.1007/3-540-44685-0\_21},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/Phillips01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/PuhakkaV01,
  author       = {Antti Puhakka and
                  Antti Valmari},
  editor       = {Kim Guldstrand Larsen and
                  Mogens Nielsen},
  title        = {Liveness and Fairness in Process-Algebraic Verification},
  booktitle    = {{CONCUR} 2001 - Concurrency Theory, 12th International Conference,
                  Aalborg, Denmark, August 20-25, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2154},
  pages        = {202--217},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44685-0\_14},
  doi          = {10.1007/3-540-44685-0\_14},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/PuhakkaV01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/SangiorgiW01,
  author       = {Davide Sangiorgi and
                  David Walker},
  editor       = {Kim Guldstrand Larsen and
                  Mogens Nielsen},
  title        = {On Barbed Equivalences in pi-Calculus},
  booktitle    = {{CONCUR} 2001 - Concurrency Theory, 12th International Conference,
                  Aalborg, Denmark, August 20-25, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2154},
  pages        = {292--304},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44685-0\_20},
  doi          = {10.1007/3-540-44685-0\_20},
  timestamp    = {Thu, 11 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/SangiorgiW01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/Sastry01,
  author       = {Shankar Sastry},
  editor       = {Kim Guldstrand Larsen and
                  Mogens Nielsen},
  title        = {Control of Networks of Unmanned Vehicles},
  booktitle    = {{CONCUR} 2001 - Concurrency Theory, 12th International Conference,
                  Aalborg, Denmark, August 20-25, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2154},
  pages        = {36},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44685-0\_3},
  doi          = {10.1007/3-540-44685-0\_3},
  timestamp    = {Mon, 25 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/Sastry01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/Schneider01,
  author       = {Steve A. Schneider},
  editor       = {Kim Guldstrand Larsen and
                  Mogens Nielsen},
  title        = {Process Algebra and Security},
  booktitle    = {{CONCUR} 2001 - Concurrency Theory, 12th International Conference,
                  Aalborg, Denmark, August 20-25, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2154},
  pages        = {37--38},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44685-0\_4},
  doi          = {10.1007/3-540-44685-0\_4},
  timestamp    = {Fri, 07 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/Schneider01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/Srba01,
  author       = {Jir{\'{\i}} Srba},
  editor       = {Kim Guldstrand Larsen and
                  Mogens Nielsen},
  title        = {On the Power of Labels in Transition Systems},
  booktitle    = {{CONCUR} 2001 - Concurrency Theory, 12th International Conference,
                  Aalborg, Denmark, August 20-25, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2154},
  pages        = {277--291},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44685-0\_19},
  doi          = {10.1007/3-540-44685-0\_19},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/Srba01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/Volzer01,
  author       = {Hagen V{\"{o}}lzer},
  editor       = {Kim Guldstrand Larsen and
                  Mogens Nielsen},
  title        = {Randomized Non-sequential Processes},
  booktitle    = {{CONCUR} 2001 - Concurrency Theory, 12th International Conference,
                  Aalborg, Denmark, August 20-25, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2154},
  pages        = {184--201},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44685-0\_13},
  doi          = {10.1007/3-540-44685-0\_13},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/Volzer01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/WangBHRS01,
  author       = {Chao Wang and
                  Roderick Bloem and
                  Gary D. Hachtel and
                  Kavita Ravi and
                  Fabio Somenzi},
  editor       = {Kim Guldstrand Larsen and
                  Mogens Nielsen},
  title        = {Divide and Compose: {SCC} Refinement for Language Emptiness},
  booktitle    = {{CONCUR} 2001 - Concurrency Theory, 12th International Conference,
                  Aalborg, Denmark, August 20-25, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2154},
  pages        = {456--471},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44685-0\_31},
  doi          = {10.1007/3-540-44685-0\_31},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/WangBHRS01.bib},
  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 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/2001.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.