Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/concur/AcetoI07,
  author       = {Luca Aceto and
                  Anna Ing{\'{o}}lfsd{\'{o}}ttir},
  editor       = {Lu{\'{\i}}s Caires and
                  Vasco Thudichum Vasconcelos},
  title        = {The Saga of the Axiomatization of Parallel Composition},
  booktitle    = {{CONCUR} 2007 - Concurrency Theory, 18th International Conference,
                  {CONCUR} 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4703},
  pages        = {2--16},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-74407-8\_2},
  doi          = {10.1007/978-3-540-74407-8\_2},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/AcetoI07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/AkshayMK07,
  author       = {S. Akshay and
                  Madhavan Mukund and
                  K. Narayan Kumar},
  editor       = {Lu{\'{\i}}s Caires and
                  Vasco Thudichum Vasconcelos},
  title        = {Checking Coverage for Infinite Collections of Timed Scenarios},
  booktitle    = {{CONCUR} 2007 - Concurrency Theory, 18th International Conference,
                  {CONCUR} 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4703},
  pages        = {181--196},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-74407-8\_13},
  doi          = {10.1007/978-3-540-74407-8\_13},
  timestamp    = {Tue, 30 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/concur/AkshayMK07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/AlfaroR07,
  author       = {Luca de Alfaro and
                  Pritam Roy},
  editor       = {Lu{\'{\i}}s Caires and
                  Vasco Thudichum Vasconcelos},
  title        = {Solving Games Via Three-Valued Abstraction Refinement},
  booktitle    = {{CONCUR} 2007 - Concurrency Theory, 18th International Conference,
                  {CONCUR} 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4703},
  pages        = {74--89},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-74407-8\_6},
  doi          = {10.1007/978-3-540-74407-8\_6},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/AlfaroR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/AminofMV07,
  author       = {Benjamin Aminof and
                  Aniello Murano and
                  Moshe Y. Vardi},
  editor       = {Lu{\'{\i}}s Caires and
                  Vasco Thudichum Vasconcelos},
  title        = {Pushdown Module Checking with Imperfect Information},
  booktitle    = {{CONCUR} 2007 - Concurrency Theory, 18th International Conference,
                  {CONCUR} 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4703},
  pages        = {460--475},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-74407-8\_31},
  doi          = {10.1007/978-3-540-74407-8\_31},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/AminofMV07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/Ben-DavidFR07,
  author       = {Shoham Ben{-}David and
                  Dana Fisman and
                  Sitvanit Ruah},
  editor       = {Lu{\'{\i}}s Caires and
                  Vasco Thudichum Vasconcelos},
  title        = {Temporal Antecedent Failure: Refining Vacuity},
  booktitle    = {{CONCUR} 2007 - Concurrency Theory, 18th International Conference,
                  {CONCUR} 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4703},
  pages        = {492--506},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-74407-8\_33},
  doi          = {10.1007/978-3-540-74407-8\_33},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/Ben-DavidFR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/BonchiM07,
  author       = {Filippo Bonchi and
                  Ugo Montanari},
  editor       = {Lu{\'{\i}}s Caires and
                  Vasco Thudichum Vasconcelos},
  title        = {Coalgebraic Models for Reactive Systems},
  booktitle    = {{CONCUR} 2007 - Concurrency Theory, 18th International Conference,
                  {CONCUR} 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4703},
  pages        = {364--379},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-74407-8\_25},
  doi          = {10.1007/978-3-540-74407-8\_25},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/BonchiM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/Boudol07,
  author       = {G{\'{e}}rard Boudol},
  editor       = {Lu{\'{\i}}s Caires and
                  Vasco Thudichum Vasconcelos},
  title        = {Fair Cooperative Multithreading},
  booktitle    = {{CONCUR} 2007 - Concurrency Theory, 18th International Conference,
                  {CONCUR} 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4703},
  pages        = {272--286},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-74407-8\_19},
  doi          = {10.1007/978-3-540-74407-8\_19},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/Boudol07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/Bozzelli07,
  author       = {Laura Bozzelli},
  editor       = {Lu{\'{\i}}s Caires and
                  Vasco Thudichum Vasconcelos},
  title        = {Alternating Automata and a Temporal Fixpoint Calculus for Visibly
                  Pushdown Languages},
  booktitle    = {{CONCUR} 2007 - Concurrency Theory, 18th International Conference,
                  {CONCUR} 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4703},
  pages        = {476--491},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-74407-8\_32},
  doi          = {10.1007/978-3-540-74407-8\_32},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/Bozzelli07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/BrazdilF07,
  author       = {Tom{\'{a}}s Br{\'{a}}zdil and
                  Vojtech Forejt},
  editor       = {Lu{\'{\i}}s Caires and
                  Vasco Thudichum Vasconcelos},
  title        = {Strategy Synthesis for Markov Decision Processes and Branching-Time
                  Logics},
  booktitle    = {{CONCUR} 2007 - Concurrency Theory, 18th International Conference,
                  {CONCUR} 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4703},
  pages        = {428--444},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-74407-8\_29},
  doi          = {10.1007/978-3-540-74407-8\_29},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/BrazdilF07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/BrihayeLMO07,
  author       = {Thomas Brihaye and
                  Fran{\c{c}}ois Laroussinie and
                  Nicolas Markey and
                  Ghassan Oreiby},
  editor       = {Lu{\'{\i}}s Caires and
                  Vasco Thudichum Vasconcelos},
  title        = {Timed Concurrent Game Structures},
  booktitle    = {{CONCUR} 2007 - Concurrency Theory, 18th International Conference,
                  {CONCUR} 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4703},
  pages        = {445--459},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-74407-8\_30},
  doi          = {10.1007/978-3-540-74407-8\_30},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/concur/BrihayeLMO07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/ChadhaV07,
  author       = {Rohit Chadha and
                  Mahesh Viswanathan},
  editor       = {Lu{\'{\i}}s Caires and
                  Vasco Thudichum Vasconcelos},
  title        = {Decidability Results for Well-Structured Transition Systems with Auxiliary
                  Storage},
  booktitle    = {{CONCUR} 2007 - Concurrency Theory, 18th International Conference,
                  {CONCUR} 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4703},
  pages        = {136--150},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-74407-8\_10},
  doi          = {10.1007/978-3-540-74407-8\_10},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/ChadhaV07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/ChatterjeeHP07,
  author       = {Krishnendu Chatterjee and
                  Thomas A. Henzinger and
                  Nir Piterman},
  editor       = {Lu{\'{\i}}s Caires and
                  Vasco Thudichum Vasconcelos},
  title        = {Strategy Logic},
  booktitle    = {{CONCUR} 2007 - Concurrency Theory, 18th International Conference,
                  {CONCUR} 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4703},
  pages        = {59--73},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-74407-8\_5},
  doi          = {10.1007/978-3-540-74407-8\_5},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/ChatterjeeHP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/ChatzikokolakisP07,
  author       = {Konstantinos Chatzikokolakis and
                  Catuscia Palamidessi},
  editor       = {Lu{\'{\i}}s Caires and
                  Vasco Thudichum Vasconcelos},
  title        = {Making Random Choices Invisible to the Scheduler},
  booktitle    = {{CONCUR} 2007 - Concurrency Theory, 18th International Conference,
                  {CONCUR} 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4703},
  pages        = {42--58},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-74407-8\_4},
  doi          = {10.1007/978-3-540-74407-8\_4},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/ChatzikokolakisP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/ChenPPW07,
  author       = {Taolue Chen and
                  Bas Ploeger and
                  Jaco van de Pol and
                  Tim A. C. Willemse},
  editor       = {Lu{\'{\i}}s Caires and
                  Vasco Thudichum Vasconcelos},
  title        = {Equivalence Checking for Infinite Systems Using Parameterized Boolean
                  Equation Systems},
  booktitle    = {{CONCUR} 2007 - Concurrency Theory, 18th International Conference,
                  {CONCUR} 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4703},
  pages        = {120--135},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-74407-8\_9},
  doi          = {10.1007/978-3-540-74407-8\_9},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/ChenPPW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/CrafaVY07,
  author       = {Silvia Crafa and
                  Daniele Varacca and
                  Nobuko Yoshida},
  editor       = {Lu{\'{\i}}s Caires and
                  Vasco Thudichum Vasconcelos},
  title        = {Compositional Event Structure Semantics for the Internal \emph{pi}
                  -Calculus},
  booktitle    = {{CONCUR} 2007 - Concurrency Theory, 18th International Conference,
                  {CONCUR} 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4703},
  pages        = {317--332},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-74407-8\_22},
  doi          = {10.1007/978-3-540-74407-8\_22},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/CrafaVY07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/DanosFFHK07,
  author       = {Vincent Danos and
                  J{\'{e}}r{\^{o}}me Feret and
                  Walter Fontana and
                  Russell Harmer and
                  Jean Krivine},
  editor       = {Lu{\'{\i}}s Caires and
                  Vasco Thudichum Vasconcelos},
  title        = {Rule-Based Modelling of Cellular Signalling},
  booktitle    = {{CONCUR} 2007 - Concurrency Theory, 18th International Conference,
                  {CONCUR} 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4703},
  pages        = {17--41},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-74407-8\_3},
  doi          = {10.1007/978-3-540-74407-8\_3},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/DanosFFHK07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/EhrhardL07,
  author       = {Thomas Ehrhard and
                  Olivier Laurent},
  editor       = {Lu{\'{\i}}s Caires and
                  Vasco Thudichum Vasconcelos},
  title        = {Interpreting a Finitary Pi-calculus in Differential Interaction Nets},
  booktitle    = {{CONCUR} 2007 - Concurrency Theory, 18th International Conference,
                  {CONCUR} 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4703},
  pages        = {333--348},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-74407-8\_23},
  doi          = {10.1007/978-3-540-74407-8\_23},
  timestamp    = {Mon, 06 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/concur/EhrhardL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/GazagnaireGHTY07,
  author       = {Thomas Gazagnaire and
                  Blaise Genest and
                  Lo{\"{\i}}c H{\'{e}}lou{\"{e}}t and
                  P. S. Thiagarajan and
                  Shaofa Yang},
  editor       = {Lu{\'{\i}}s Caires and
                  Vasco Thudichum Vasconcelos},
  title        = {Causal Message Sequence Charts},
  booktitle    = {{CONCUR} 2007 - Concurrency Theory, 18th International Conference,
                  {CONCUR} 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4703},
  pages        = {166--180},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-74407-8\_12},
  doi          = {10.1007/978-3-540-74407-8\_12},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/GazagnaireGHTY07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/GrohmannM07,
  author       = {Davide Grohmann and
                  Marino Miculan},
  editor       = {Lu{\'{\i}}s Caires and
                  Vasco Thudichum Vasconcelos},
  title        = {Reactive Systems over Directed Bigraphs},
  booktitle    = {{CONCUR} 2007 - Concurrency Theory, 18th International Conference,
                  {CONCUR} 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4703},
  pages        = {380--394},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-74407-8\_26},
  doi          = {10.1007/978-3-540-74407-8\_26},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/concur/GrohmannM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/Hym07,
  author       = {Samuel Hym},
  editor       = {Lu{\'{\i}}s Caires and
                  Vasco Thudichum Vasconcelos},
  title        = {Mobility Control Via Passports},
  booktitle    = {{CONCUR} 2007 - Concurrency Theory, 18th International Conference,
                  {CONCUR} 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4703},
  pages        = {349--363},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-74407-8\_24},
  doi          = {10.1007/978-3-540-74407-8\_24},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/Hym07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/LammichM07,
  author       = {Peter Lammich and
                  Markus M{\"{u}}ller{-}Olm},
  editor       = {Lu{\'{\i}}s Caires and
                  Vasco Thudichum Vasconcelos},
  title        = {Precise Fixpoint-Based Analysis of Programs with Thread-Creation and
                  Procedures},
  booktitle    = {{CONCUR} 2007 - Concurrency Theory, 18th International Conference,
                  {CONCUR} 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4703},
  pages        = {287--302},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-74407-8\_20},
  doi          = {10.1007/978-3-540-74407-8\_20},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/LammichM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/LaneveP07,
  author       = {Cosimo Laneve and
                  Luca Padovani},
  editor       = {Lu{\'{\i}}s Caires and
                  Vasco Thudichum Vasconcelos},
  title        = {The \emph{Must} Preorder Revisited},
  booktitle    = {{CONCUR} 2007 - Concurrency Theory, 18th International Conference,
                  {CONCUR} 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4703},
  pages        = {212--225},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-74407-8\_15},
  doi          = {10.1007/978-3-540-74407-8\_15},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/LaneveP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/Lange07,
  author       = {Martin Lange},
  editor       = {Lu{\'{\i}}s Caires and
                  Vasco Thudichum Vasconcelos},
  title        = {Linear Time Logics Around {PSL:} Complexity, Expressiveness, and a
                  Little Bit of Succinctness},
  booktitle    = {{CONCUR} 2007 - Concurrency Theory, 18th International Conference,
                  {CONCUR} 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4703},
  pages        = {90--104},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-74407-8\_7},
  doi          = {10.1007/978-3-540-74407-8\_7},
  timestamp    = {Tue, 09 Jan 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/concur/Lange07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/LarsenNW07,
  author       = {Kim Guldstrand Larsen and
                  Ulrik Nyman and
                  Andrzej Wasowski},
  editor       = {Lu{\'{\i}}s Caires and
                  Vasco Thudichum Vasconcelos},
  title        = {On Modal Refinement and Consistency},
  booktitle    = {{CONCUR} 2007 - Concurrency Theory, 18th International Conference,
                  {CONCUR} 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4703},
  pages        = {105--119},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-74407-8\_8},
  doi          = {10.1007/978-3-540-74407-8\_8},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/LarsenNW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/MelliesM07,
  author       = {Paul{-}Andr{\'{e}} Melli{\`{e}}s and
                  Samuel Mimram},
  editor       = {Lu{\'{\i}}s Caires and
                  Vasco Thudichum Vasconcelos},
  title        = {Asynchronous Games: Innocence Without Alternation},
  booktitle    = {{CONCUR} 2007 - Concurrency Theory, 18th International Conference,
                  {CONCUR} 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4703},
  pages        = {395--411},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-74407-8\_27},
  doi          = {10.1007/978-3-540-74407-8\_27},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/MelliesM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/MendlerL07,
  author       = {Michael Mendler and
                  Gerald L{\"{u}}ttgen},
  editor       = {Lu{\'{\i}}s Caires and
                  Vasco Thudichum Vasconcelos},
  title        = {Is Observational Congruence Axiomatisable in Equational Horn Logic?},
  booktitle    = {{CONCUR} 2007 - Concurrency Theory, 18th International Conference,
                  {CONCUR} 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4703},
  pages        = {197--211},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-74407-8\_14},
  doi          = {10.1007/978-3-540-74407-8\_14},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/MendlerL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/NanzNN07,
  author       = {Sebastian Nanz and
                  Flemming Nielson and
                  Hanne Riis Nielson},
  editor       = {Lu{\'{\i}}s Caires and
                  Vasco Thudichum Vasconcelos},
  title        = {Topology-Dependent Abstractions of Broadcast Networks},
  booktitle    = {{CONCUR} 2007 - Concurrency Theory, 18th International Conference,
                  {CONCUR} 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4703},
  pages        = {226--240},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-74407-8\_16},
  doi          = {10.1007/978-3-540-74407-8\_16},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/NanzNN07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/NeuhausserK07,
  author       = {Martin R. Neuh{\"{a}}u{\ss}er and
                  Joost{-}Pieter Katoen},
  editor       = {Lu{\'{\i}}s Caires and
                  Vasco Thudichum Vasconcelos},
  title        = {Bisimulation and Logical Preservation for Continuous-Time Markov Decision
                  Processes},
  booktitle    = {{CONCUR} 2007 - Concurrency Theory, 18th International Conference,
                  {CONCUR} 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4703},
  pages        = {412--427},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-74407-8\_28},
  doi          = {10.1007/978-3-540-74407-8\_28},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/NeuhausserK07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/Santocanale07,
  author       = {Luigi Santocanale},
  editor       = {Lu{\'{\i}}s Caires and
                  Vasco Thudichum Vasconcelos},
  title        = {A Nice Labelling for Tree-Like Event Structures of Degree 3},
  booktitle    = {{CONCUR} 2007 - Concurrency Theory, 18th International Conference,
                  {CONCUR} 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4703},
  pages        = {151--165},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-74407-8\_11},
  doi          = {10.1007/978-3-540-74407-8\_11},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/Santocanale07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/Schneider07,
  author       = {Fred B. Schneider},
  editor       = {Lu{\'{\i}}s Caires and
                  Vasco Thudichum Vasconcelos},
  title        = {Mapping the Security Landscape: {A} Role for Language Techniques},
  booktitle    = {{CONCUR} 2007 - Concurrency Theory, 18th International Conference,
                  {CONCUR} 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4703},
  pages        = {1},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-74407-8\_1},
  doi          = {10.1007/978-3-540-74407-8\_1},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/Schneider07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/VafeiadisP07,
  author       = {Viktor Vafeiadis and
                  Matthew J. Parkinson},
  editor       = {Lu{\'{\i}}s Caires and
                  Vasco Thudichum Vasconcelos},
  title        = {A Marriage of Rely/Guarantee and Separation Logic},
  booktitle    = {{CONCUR} 2007 - Concurrency Theory, 18th International Conference,
                  {CONCUR} 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4703},
  pages        = {256--271},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-74407-8\_18},
  doi          = {10.1007/978-3-540-74407-8\_18},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/VafeiadisP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/VersariBG07,
  author       = {Cristian Versari and
                  Nadia Busi and
                  Roberto Gorrieri},
  editor       = {Lu{\'{\i}}s Caires and
                  Vasco Thudichum Vasconcelos},
  title        = {On the Expressive Power of Global and Local Priority in Process Calculi},
  booktitle    = {{CONCUR} 2007 - Concurrency Theory, 18th International Conference,
                  {CONCUR} 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4703},
  pages        = {241--255},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-74407-8\_17},
  doi          = {10.1007/978-3-540-74407-8\_17},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/VersariBG07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/Wang07,
  author       = {Bow{-}Yaw Wang},
  editor       = {Lu{\'{\i}}s Caires and
                  Vasco Thudichum Vasconcelos},
  title        = {Automatic Derivation of Compositional Rules in Automated Compositional
                  Reasoning},
  booktitle    = {{CONCUR} 2007 - Concurrency Theory, 18th International Conference,
                  {CONCUR} 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4703},
  pages        = {303--316},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-74407-8\_21},
  doi          = {10.1007/978-3-540-74407-8\_21},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/Wang07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/concur/2007,
  editor       = {Lu{\'{\i}}s Caires and
                  Vasco Thudichum Vasconcelos},
  title        = {{CONCUR} 2007 - Concurrency Theory, 18th International Conference,
                  {CONCUR} 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4703},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-74407-8},
  doi          = {10.1007/978-3-540-74407-8},
  isbn         = {978-3-540-74406-1},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/2007.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.