Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/concur/AartsHV12,
  author       = {Fides Aarts and
                  Faranak Heidarian and
                  Frits W. Vaandrager},
  editor       = {Maciej Koutny and
                  Irek Ulidowski},
  title        = {A Theory of History Dependent Abstractions for Learning Interface
                  Automata},
  booktitle    = {{CONCUR} 2012 - Concurrency Theory - 23rd International Conference,
                  {CONCUR} 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7454},
  pages        = {240--255},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-32940-1\_18},
  doi          = {10.1007/978-3-642-32940-1\_18},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/AartsHV12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/AvniK12,
  author       = {Guy Avni and
                  Orna Kupferman},
  editor       = {Maciej Koutny and
                  Irek Ulidowski},
  title        = {Making Weighted Containment Feasible: {A} Heuristic Based on Simulation
                  and Abstraction},
  booktitle    = {{CONCUR} 2012 - Concurrency Theory - 23rd International Conference,
                  {CONCUR} 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7454},
  pages        = {84--99},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-32940-1\_8},
  doi          = {10.1007/978-3-642-32940-1\_8},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/AvniK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/BaetenLT12,
  author       = {Jos C. M. Baeten and
                  Bas Luttik and
                  Paul van Tilburg},
  editor       = {Maciej Koutny and
                  Irek Ulidowski},
  title        = {Turing Meets Milner},
  booktitle    = {{CONCUR} 2012 - Concurrency Theory - 23rd International Conference,
                  {CONCUR} 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7454},
  pages        = {1--20},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-32940-1\_1},
  doi          = {10.1007/978-3-642-32940-1\_1},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/BaetenLT12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/BalaguerC12,
  author       = {Sandie Balaguer and
                  Thomas Chatain},
  editor       = {Maciej Koutny and
                  Irek Ulidowski},
  title        = {Avoiding Shared Clocks in Networks of Timed Automata},
  booktitle    = {{CONCUR} 2012 - Concurrency Theory - 23rd International Conference,
                  {CONCUR} 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7454},
  pages        = {100--114},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-32940-1\_9},
  doi          = {10.1007/978-3-642-32940-1\_9},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/BalaguerC12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/BerardHSS12,
  author       = {B{\'{e}}atrice B{\'{e}}rard and
                  Serge Haddad and
                  Mathieu Sassolas and
                  Nathalie Sznajder},
  editor       = {Maciej Koutny and
                  Irek Ulidowski},
  title        = {Concurrent Games on {VASS} with Inhibition},
  booktitle    = {{CONCUR} 2012 - Concurrency Theory - 23rd International Conference,
                  {CONCUR} 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7454},
  pages        = {39--52},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-32940-1\_5},
  doi          = {10.1007/978-3-642-32940-1\_5},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/BerardHSS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/BoerJLZ12,
  author       = {Frank S. de Boer and
                  Mohammad Mahdi Jaghoori and
                  Cosimo Laneve and
                  Gianluigi Zavattaro},
  editor       = {Maciej Koutny and
                  Irek Ulidowski},
  title        = {Decidability Problems for Actor Systems},
  booktitle    = {{CONCUR} 2012 - Concurrency Theory - 23rd International Conference,
                  {CONCUR} 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7454},
  pages        = {562--577},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-32940-1\_39},
  doi          = {10.1007/978-3-642-32940-1\_39},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/BoerJLZ12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/BortolussiH12,
  author       = {Luca Bortolussi and
                  Jane Hillston},
  editor       = {Maciej Koutny and
                  Irek Ulidowski},
  title        = {Fluid Model Checking},
  booktitle    = {{CONCUR} 2012 - Concurrency Theory - 23rd International Conference,
                  {CONCUR} 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7454},
  pages        = {333--347},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-32940-1\_24},
  doi          = {10.1007/978-3-642-32940-1\_24},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/concur/BortolussiH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/BrenguierGS12,
  author       = {Romain Brenguier and
                  Stefan G{\"{o}}ller and
                  Ocan Sankur},
  editor       = {Maciej Koutny and
                  Irek Ulidowski},
  title        = {A Comparison of Succinctly Represented Finite-State Systems},
  booktitle    = {{CONCUR} 2012 - Concurrency Theory - 23rd International Conference,
                  {CONCUR} 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7454},
  pages        = {147--161},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-32940-1\_12},
  doi          = {10.1007/978-3-642-32940-1\_12},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/BrenguierGS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/ChatterjeeRR12,
  author       = {Krishnendu Chatterjee and
                  Mickael Randour and
                  Jean{-}Fran{\c{c}}ois Raskin},
  editor       = {Maciej Koutny and
                  Irek Ulidowski},
  title        = {Strategy Synthesis for Multi-Dimensional Quantitative Objectives},
  booktitle    = {{CONCUR} 2012 - Concurrency Theory - 23rd International Conference,
                  {CONCUR} 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7454},
  pages        = {115--131},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-32940-1\_10},
  doi          = {10.1007/978-3-642-32940-1\_10},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/ChatterjeeRR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/ChenFKSTU12,
  author       = {Taolue Chen and
                  Vojtech Forejt and
                  Marta Z. Kwiatkowska and
                  Aistis Simaitis and
                  Ashutosh Trivedi and
                  Michael Ummels},
  editor       = {Maciej Koutny and
                  Irek Ulidowski},
  title        = {Playing Stochastic Games Precisely},
  booktitle    = {{CONCUR} 2012 - Concurrency Theory - 23rd International Conference,
                  {CONCUR} 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7454},
  pages        = {348--363},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-32940-1\_25},
  doi          = {10.1007/978-3-642-32940-1\_25},
  timestamp    = {Sat, 01 Dec 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/concur/ChenFKSTU12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/ChenH12,
  author       = {Tzu{-}Chun Chen and
                  Kohei Honda},
  editor       = {Maciej Koutny and
                  Irek Ulidowski},
  title        = {Specifying Stateful Asynchronous Properties for Distributed Programs},
  booktitle    = {{CONCUR} 2012 - Concurrency Theory - 23rd International Conference,
                  {CONCUR} 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7454},
  pages        = {209--224},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-32940-1\_16},
  doi          = {10.1007/978-3-642-32940-1\_16},
  timestamp    = {Sun, 15 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/concur/ChenH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/CyriacGK12,
  author       = {Aiswarya Cyriac and
                  Paul Gastin and
                  K. Narayan Kumar},
  editor       = {Maciej Koutny and
                  Irek Ulidowski},
  title        = {{MSO} Decidability of Multi-Pushdown Systems via Split-Width},
  booktitle    = {{CONCUR} 2012 - Concurrency Theory - 23rd International Conference,
                  {CONCUR} 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7454},
  pages        = {547--561},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-32940-1\_38},
  doi          = {10.1007/978-3-642-32940-1\_38},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/concur/CyriacGK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/CzerwinskiHL12,
  author       = {Wojciech Czerwinski and
                  Piotr Hofman and
                  Slawomir Lasota},
  editor       = {Maciej Koutny and
                  Irek Ulidowski},
  title        = {Reachability Problem for Weak Multi-Pushdown Automata},
  booktitle    = {{CONCUR} 2012 - Concurrency Theory - 23rd International Conference,
                  {CONCUR} 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7454},
  pages        = {53--68},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-32940-1\_6},
  doi          = {10.1007/978-3-642-32940-1\_6},
  timestamp    = {Wed, 06 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/concur/CzerwinskiHL12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/DemangeonH12,
  author       = {Romain Demangeon and
                  Kohei Honda},
  editor       = {Maciej Koutny and
                  Irek Ulidowski},
  title        = {Nested Protocols in Session Types},
  booktitle    = {{CONCUR} 2012 - Concurrency Theory - 23rd International Conference,
                  {CONCUR} 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7454},
  pages        = {272--286},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-32940-1\_20},
  doi          = {10.1007/978-3-642-32940-1\_20},
  timestamp    = {Sun, 15 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/concur/DemangeonH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/FiliotGR12,
  author       = {Emmanuel Filiot and
                  Raffaella Gentilini and
                  Jean{-}Fran{\c{c}}ois Raskin},
  editor       = {Maciej Koutny and
                  Irek Ulidowski},
  title        = {Quantitative Languages Defined by Functional Automata},
  booktitle    = {{CONCUR} 2012 - Concurrency Theory - 23rd International Conference,
                  {CONCUR} 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7454},
  pages        = {132--146},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-32940-1\_11},
  doi          = {10.1007/978-3-642-32940-1\_11},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/FiliotGR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/FossatiHY12,
  author       = {Luca Fossati and
                  Kohei Honda and
                  Nobuko Yoshida},
  editor       = {Maciej Koutny and
                  Irek Ulidowski},
  title        = {Intensional and Extensional Characterisation of Global Progress in
                  the {\(\pi\)}-Calculus},
  booktitle    = {{CONCUR} 2012 - Concurrency Theory - 23rd International Conference,
                  {CONCUR} 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7454},
  pages        = {287--301},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-32940-1\_21},
  doi          = {10.1007/978-3-642-32940-1\_21},
  timestamp    = {Sun, 15 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/concur/FossatiHY12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/FuggerW12,
  author       = {Matthias F{\"{u}}gger and
                  Josef Widder},
  editor       = {Maciej Koutny and
                  Irek Ulidowski},
  title        = {Efficient Checking of Link-Reversal-Based Concurrent Systems},
  booktitle    = {{CONCUR} 2012 - Concurrency Theory - 23rd International Conference,
                  {CONCUR} 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7454},
  pages        = {486--499},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-32940-1\_34},
  doi          = {10.1007/978-3-642-32940-1\_34},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/FuggerW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/GeblerF12,
  author       = {Daniel Gebler and
                  Wan J. Fokkink},
  editor       = {Maciej Koutny and
                  Irek Ulidowski},
  title        = {Compositionality of Probabilistic Hennessy-Milner Logic through Structural
                  Operational Semantics},
  booktitle    = {{CONCUR} 2012 - Concurrency Theory - 23rd International Conference,
                  {CONCUR} 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7454},
  pages        = {395--409},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-32940-1\_28},
  doi          = {10.1007/978-3-642-32940-1\_28},
  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/GeblerF12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/GotsmanY12,
  author       = {Alexey Gotsman and
                  Hongseok Yang},
  editor       = {Maciej Koutny and
                  Irek Ulidowski},
  title        = {Linearizability with Ownership Transfer},
  booktitle    = {{CONCUR} 2012 - Concurrency Theory - 23rd International Conference,
                  {CONCUR} 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7454},
  pages        = {256--271},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-32940-1\_19},
  doi          = {10.1007/978-3-642-32940-1\_19},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/GotsmanY12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/HirschkoffMS12,
  author       = {Daniel Hirschkoff and
                  Jean{-}Marie Madiot and
                  Davide Sangiorgi},
  editor       = {Maciej Koutny and
                  Irek Ulidowski},
  title        = {Duality and i/o-Types in the {\(\pi\)}-Calculus},
  booktitle    = {{CONCUR} 2012 - Concurrency Theory - 23rd International Conference,
                  {CONCUR} 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7454},
  pages        = {302--316},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-32940-1\_22},
  doi          = {10.1007/978-3-642-32940-1\_22},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/HirschkoffMS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/JanickiYZ12,
  author       = {Ryszard Janicki and
                  Xiang Yin and
                  Nadezhda Zubkova},
  editor       = {Maciej Koutny and
                  Irek Ulidowski},
  title        = {Modeling Interval Order Structures with Partially Commutative Monoids},
  booktitle    = {{CONCUR} 2012 - Concurrency Theory - 23rd International Conference,
                  {CONCUR} 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7454},
  pages        = {425--439},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-32940-1\_30},
  doi          = {10.1007/978-3-642-32940-1\_30},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/JanickiYZ12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/KaiserKW12,
  author       = {Alexander Kaiser and
                  Daniel Kroening and
                  Thomas Wahl},
  editor       = {Maciej Koutny and
                  Irek Ulidowski},
  title        = {Efficient Coverability Analysis by Proof Minimization},
  booktitle    = {{CONCUR} 2012 - Concurrency Theory - 23rd International Conference,
                  {CONCUR} 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7454},
  pages        = {500--515},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-32940-1\_35},
  doi          = {10.1007/978-3-642-32940-1\_35},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/concur/KaiserKW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/KerstanK12,
  author       = {Henning Kerstan and
                  Barbara K{\"{o}}nig},
  editor       = {Maciej Koutny and
                  Irek Ulidowski},
  title        = {Coalgebraic Trace Semantics for Probabilistic Transition Systems Based
                  on Measure Theory},
  booktitle    = {{CONCUR} 2012 - Concurrency Theory - 23rd International Conference,
                  {CONCUR} 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7454},
  pages        = {410--424},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-32940-1\_29},
  doi          = {10.1007/978-3-642-32940-1\_29},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/KerstanK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/KnightPPV12,
  author       = {Sophia Knight and
                  Catuscia Palamidessi and
                  Prakash Panangaden and
                  Frank D. Valencia},
  editor       = {Maciej Koutny and
                  Irek Ulidowski},
  title        = {Spatial and Epistemic Modalities in Constraint-Based Process Calculi},
  booktitle    = {{CONCUR} 2012 - Concurrency Theory - 23rd International Conference,
                  {CONCUR} 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7454},
  pages        = {317--332},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-32940-1\_23},
  doi          = {10.1007/978-3-642-32940-1\_23},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/KnightPPV12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/LangeT12,
  author       = {Julien Lange and
                  Emilio Tuosto},
  editor       = {Maciej Koutny and
                  Irek Ulidowski},
  title        = {Synthesising Choreographies from Local Session Types},
  booktitle    = {{CONCUR} 2012 - Concurrency Theory - 23rd International Conference,
                  {CONCUR} 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7454},
  pages        = {225--239},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-32940-1\_17},
  doi          = {10.1007/978-3-642-32940-1\_17},
  timestamp    = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/LangeT12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/LesaniLM12,
  author       = {Mohsen Lesani and
                  Victor Luchangco and
                  Mark Moir},
  editor       = {Maciej Koutny and
                  Irek Ulidowski},
  title        = {A Framework for Formally Verifying Software Transactional Memory Algorithms},
  booktitle    = {{CONCUR} 2012 - Concurrency Theory - 23rd International Conference,
                  {CONCUR} 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7454},
  pages        = {516--530},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-32940-1\_36},
  doi          = {10.1007/978-3-642-32940-1\_36},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/LesaniLM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/LopesLM12,
  author       = {Arnaud Da Costa Lopes and
                  Fran{\c{c}}ois Laroussinie and
                  Nicolas Markey},
  editor       = {Maciej Koutny and
                  Irek Ulidowski},
  title        = {Quantified {CTL:} Expressiveness and Model Checking - (Extended Abstract)},
  booktitle    = {{CONCUR} 2012 - Concurrency Theory - 23rd International Conference,
                  {CONCUR} 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7454},
  pages        = {177--192},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-32940-1\_14},
  doi          = {10.1007/978-3-642-32940-1\_14},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/concur/LopesLM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/Mennicke12,
  author       = {Roy Mennicke},
  editor       = {Maciej Koutny and
                  Irek Ulidowski},
  title        = {Propositional Dynamic Logic with Converse and Repeat for Message-Passing
                  Systems},
  booktitle    = {{CONCUR} 2012 - Concurrency Theory - 23rd International Conference,
                  {CONCUR} 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7454},
  pages        = {531--546},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-32940-1\_37},
  doi          = {10.1007/978-3-642-32940-1\_37},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/Mennicke12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/MeyerKH12,
  author       = {Roland Meyer and
                  Victor Khomenko and
                  Reiner H{\"{u}}chting},
  editor       = {Maciej Koutny and
                  Irek Ulidowski},
  title        = {A Polynomial Translation of {\(\pi\)}-Calculus {(FCP)} to Safe Petri
                  Nets},
  booktitle    = {{CONCUR} 2012 - Concurrency Theory - 23rd International Conference,
                  {CONCUR} 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7454},
  pages        = {440--455},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-32940-1\_31},
  doi          = {10.1007/978-3-642-32940-1\_31},
  timestamp    = {Mon, 02 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/MeyerKH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/Mikulski12,
  author       = {Lukasz Mikulski},
  editor       = {Maciej Koutny and
                  Irek Ulidowski},
  title        = {Algebraic Structure of Combined Traces},
  booktitle    = {{CONCUR} 2012 - Concurrency Theory - 23rd International Conference,
                  {CONCUR} 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7454},
  pages        = {456--470},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-32940-1\_32},
  doi          = {10.1007/978-3-642-32940-1\_32},
  timestamp    = {Fri, 25 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/concur/Mikulski12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/MogaveroMPV12,
  author       = {Fabio Mogavero and
                  Aniello Murano and
                  Giuseppe Perelli and
                  Moshe Y. Vardi},
  editor       = {Maciej Koutny and
                  Irek Ulidowski},
  title        = {What Makes Atl* Decidable? {A} Decidable Fragment of Strategy Logic},
  booktitle    = {{CONCUR} 2012 - Concurrency Theory - 23rd International Conference,
                  {CONCUR} 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7454},
  pages        = {193--208},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-32940-1\_15},
  doi          = {10.1007/978-3-642-32940-1\_15},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/MogaveroMPV12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/Plotkin12,
  author       = {Gordon D. Plotkin},
  editor       = {Maciej Koutny and
                  Irek Ulidowski},
  title        = {Concurrency and the Algebraic Theory of Effects - (Abstract)},
  booktitle    = {{CONCUR} 2012 - Concurrency Theory - 23rd International Conference,
                  {CONCUR} 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7454},
  pages        = {21--22},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-32940-1\_2},
  doi          = {10.1007/978-3-642-32940-1\_2},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/Plotkin12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/Randell12,
  author       = {Brian Randell},
  editor       = {Maciej Koutny and
                  Irek Ulidowski},
  title        = {A Turing Enigma},
  booktitle    = {{CONCUR} 2012 - Concurrency Theory - 23rd International Conference,
                  {CONCUR} 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7454},
  pages        = {23--36},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-32940-1\_3},
  doi          = {10.1007/978-3-642-32940-1\_3},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/Randell12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/RodriguezS12,
  author       = {C{\'{e}}sar Rodr{\'{\i}}guez and
                  Stefan Schwoon},
  editor       = {Maciej Koutny and
                  Irek Ulidowski},
  title        = {Verification of Petri Nets with Read Arcs},
  booktitle    = {{CONCUR} 2012 - Concurrency Theory - 23rd International Conference,
                  {CONCUR} 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7454},
  pages        = {471--485},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-32940-1\_33},
  doi          = {10.1007/978-3-642-32940-1\_33},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/RodriguezS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/Sewell12,
  author       = {Peter Sewell},
  editor       = {Maciej Koutny and
                  Irek Ulidowski},
  title        = {False Concurrency and Strange-but-True Machines - (Abstract)},
  booktitle    = {{CONCUR} 2012 - Concurrency Theory - 23rd International Conference,
                  {CONCUR} 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7454},
  pages        = {37--38},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-32940-1\_4},
  doi          = {10.1007/978-3-642-32940-1\_4},
  timestamp    = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/Sewell12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/TimmerKPS12,
  author       = {Mark Timmer and
                  Joost{-}Pieter Katoen and
                  Jaco van de Pol and
                  Mari{\"{e}}lle Stoelinga},
  editor       = {Maciej Koutny and
                  Irek Ulidowski},
  title        = {Efficient Modelling and Generation of Markov Automata},
  booktitle    = {{CONCUR} 2012 - Concurrency Theory - 23rd International Conference,
                  {CONCUR} 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7454},
  pages        = {364--379},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-32940-1\_26},
  doi          = {10.1007/978-3-642-32940-1\_26},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/TimmerKPS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/TschaikowskiT12,
  author       = {Max Tschaikowski and
                  Mirco Tribastone},
  editor       = {Maciej Koutny and
                  Irek Ulidowski},
  title        = {Exact Fluid Lumpability for Markovian Process Algebra},
  booktitle    = {{CONCUR} 2012 - Concurrency Theory - 23rd International Conference,
                  {CONCUR} 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7454},
  pages        = {380--394},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-32940-1\_27},
  doi          = {10.1007/978-3-642-32940-1\_27},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/TschaikowskiT12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/Valmari12,
  author       = {Antti Valmari},
  editor       = {Maciej Koutny and
                  Irek Ulidowski},
  title        = {All Linear-Time Congruences for Familiar Operators Part 2: Infinite
                  LTSs},
  booktitle    = {{CONCUR} 2012 - Concurrency Theory - 23rd International Conference,
                  {CONCUR} 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7454},
  pages        = {162--176},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-32940-1\_13},
  doi          = {10.1007/978-3-642-32940-1\_13},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/Valmari12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/YuY12,
  author       = {Nengkun Yu and
                  Mingsheng Ying},
  editor       = {Maciej Koutny and
                  Irek Ulidowski},
  title        = {Reachability and Termination Analysis of Concurrent Quantum Programs},
  booktitle    = {{CONCUR} 2012 - Concurrency Theory - 23rd International Conference,
                  {CONCUR} 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7454},
  pages        = {69--83},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-32940-1\_7},
  doi          = {10.1007/978-3-642-32940-1\_7},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/YuY12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/concur/2012,
  editor       = {Maciej Koutny and
                  Irek Ulidowski},
  title        = {{CONCUR} 2012 - Concurrency Theory - 23rd International Conference,
                  {CONCUR} 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7454},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-32940-1},
  doi          = {10.1007/978-3-642-32940-1},
  isbn         = {978-3-642-32939-5},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/2012.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.