Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/concur/concur2016.bht:"
download as .bib file
@inproceedings{DBLP:conf/concur/0001HL16,
author = {Nathalie Bertrand and
Serge Haddad and
Engel Lefaucheux},
editor = {Jos{\'{e}}e Desharnais and
Radha Jagadeesan},
title = {Diagnosis in Infinite-State Probabilistic Systems},
booktitle = {27th International Conference on Concurrency Theory, {CONCUR} 2016,
August 23-26, 2016, Qu{\'{e}}bec City, Canada},
series = {LIPIcs},
volume = {59},
pages = {37:1--37:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.37},
doi = {10.4230/LIPICS.CONCUR.2016.37},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/concur/0001HL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/0002G16,
author = {Giovanni Bernardi and
Alexey Gotsman},
editor = {Jos{\'{e}}e Desharnais and
Radha Jagadeesan},
title = {Robustness against Consistency Models with Atomic Visibility},
booktitle = {27th International Conference on Concurrency Theory, {CONCUR} 2016,
August 23-26, 2016, Qu{\'{e}}bec City, Canada},
series = {LIPIcs},
volume = {59},
pages = {7:1--7:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.7},
doi = {10.4230/LIPICS.CONCUR.2016.7},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/0002G16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AbdullaABN16,
author = {Parosh Aziz Abdulla and
Mohamed Faouzi Atig and
Ahmed Bouajjani and
Tuan Phong Ngo},
editor = {Jos{\'{e}}e Desharnais and
Radha Jagadeesan},
title = {The Benefits of Duality in Verifying Concurrent Programs under {TSO}},
booktitle = {27th International Conference on Concurrency Theory, {CONCUR} 2016,
August 23-26, 2016, Qu{\'{e}}bec City, Canada},
series = {LIPIcs},
volume = {59},
pages = {5:1--5:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.5},
doi = {10.4230/LIPICS.CONCUR.2016.5},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/AbdullaABN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AkshayGK16,
author = {S. Akshay and
Paul Gastin and
Shankara Narayanan Krishna},
editor = {Jos{\'{e}}e Desharnais and
Radha Jagadeesan},
title = {Analyzing Timed Systems Using Tree Automata},
booktitle = {27th International Conference on Concurrency Theory, {CONCUR} 2016,
August 23-26, 2016, Qu{\'{e}}bec City, Canada},
series = {LIPIcs},
volume = {59},
pages = {27:1--27:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.27},
doi = {10.4230/LIPICS.CONCUR.2016.27},
timestamp = {Tue, 30 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/AkshayGK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AlmagorKV16,
author = {Shaull Almagor and
Orna Kupferman and
Yaron Velner},
editor = {Jos{\'{e}}e Desharnais and
Radha Jagadeesan},
title = {Minimizing Expected Cost Under Hard Boolean Constraints, with Applications
to Quantitative Synthesis},
booktitle = {27th International Conference on Concurrency Theory, {CONCUR} 2016,
August 23-26, 2016, Qu{\'{e}}bec City, Canada},
series = {LIPIcs},
volume = {59},
pages = {9:1--9:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.9},
doi = {10.4230/LIPICS.CONCUR.2016.9},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/AlmagorKV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BacciBLM16,
author = {Giorgio Bacci and
Giovanni Bacci and
Kim G. Larsen and
Radu Mardare},
editor = {Jos{\'{e}}e Desharnais and
Radha Jagadeesan},
title = {Complete Axiomatization for the Bisimilarity Distance on Markov Chains},
booktitle = {27th International Conference on Concurrency Theory, {CONCUR} 2016,
August 23-26, 2016, Qu{\'{e}}bec City, Canada},
series = {LIPIcs},
volume = {59},
pages = {21:1--21:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.21},
doi = {10.4230/LIPICS.CONCUR.2016.21},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BacciBLM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BonakdarpourFRR16,
author = {Borzoo Bonakdarpour and
Pierre Fraigniaud and
Sergio Rajsbaum and
David A. Rosenblueth and
Corentin Travers},
editor = {Jos{\'{e}}e Desharnais and
Radha Jagadeesan},
title = {Decentralized Asynchronous Crash-Resilient Runtime Verification},
booktitle = {27th International Conference on Concurrency Theory, {CONCUR} 2016,
August 23-26, 2016, Qu{\'{e}}bec City, Canada},
series = {LIPIcs},
volume = {59},
pages = {16:1--16:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.16},
doi = {10.4230/LIPICS.CONCUR.2016.16},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BonakdarpourFRR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BrazdilFKN16,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Vojtech Forejt and
Anton{\'{\i}}n Kucera and
Petr Novotn{\'{y}}},
editor = {Jos{\'{e}}e Desharnais and
Radha Jagadeesan},
title = {Stability in Graphs and Games},
booktitle = {27th International Conference on Concurrency Theory, {CONCUR} 2016,
August 23-26, 2016, Qu{\'{e}}bec City, Canada},
series = {LIPIcs},
volume = {59},
pages = {10:1--10:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.10},
doi = {10.4230/LIPICS.CONCUR.2016.10},
timestamp = {Fri, 30 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BrazdilFKN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BrengosP16,
author = {Tomasz Brengos and
Marco Peressotti},
editor = {Jos{\'{e}}e Desharnais and
Radha Jagadeesan},
title = {A Uniform Framework for Timed Automata},
booktitle = {27th International Conference on Concurrency Theory, {CONCUR} 2016,
August 23-26, 2016, Qu{\'{e}}bec City, Canada},
series = {LIPIcs},
volume = {59},
pages = {26:1--26:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.26},
doi = {10.4230/LIPICS.CONCUR.2016.26},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BrengosP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Brenguier16,
author = {Romain Brenguier},
editor = {Jos{\'{e}}e Desharnais and
Radha Jagadeesan},
title = {Optimal Assumptions for Synthesis},
booktitle = {27th International Conference on Concurrency Theory, {CONCUR} 2016,
August 23-26, 2016, Qu{\'{e}}bec City, Canada},
series = {LIPIcs},
volume = {59},
pages = {8:1--8:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.8},
doi = {10.4230/LIPICS.CONCUR.2016.8},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Brenguier16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BruyereHR16,
author = {V{\'{e}}ronique Bruy{\`{e}}re and
Quentin Hautem and
Jean{-}Fran{\c{c}}ois Raskin},
editor = {Jos{\'{e}}e Desharnais and
Radha Jagadeesan},
title = {On the Complexity of Heterogeneous Multidimensional Games},
booktitle = {27th International Conference on Concurrency Theory, {CONCUR} 2016,
August 23-26, 2016, Qu{\'{e}}bec City, Canada},
series = {LIPIcs},
volume = {59},
pages = {11:1--11:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.11},
doi = {10.4230/LIPICS.CONCUR.2016.11},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/BruyereHR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/CarboneLMSW16,
author = {Marco Carbone and
Sam Lindley and
Fabrizio Montesi and
Carsten Sch{\"{u}}rmann and
Philip Wadler},
editor = {Jos{\'{e}}e Desharnais and
Radha Jagadeesan},
title = {Coherence Generalises Duality: {A} Logical Explanation of Multiparty
Session Types},
booktitle = {27th International Conference on Concurrency Theory, {CONCUR} 2016,
August 23-26, 2016, Qu{\'{e}}bec City, Canada},
series = {LIPIcs},
volume = {59},
pages = {33:1--33:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.33},
doi = {10.4230/LIPICS.CONCUR.2016.33},
timestamp = {Wed, 10 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/CarboneLMSW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/CastellanC16,
author = {Simon Castellan and
Pierre Clairambault},
editor = {Jos{\'{e}}e Desharnais and
Radha Jagadeesan},
title = {Causality vs. Interleavings in Concurrent Game Semantics},
booktitle = {27th International Conference on Concurrency Theory, {CONCUR} 2016,
August 23-26, 2016, Qu{\'{e}}bec City, Canada},
series = {LIPIcs},
volume = {59},
pages = {32:1--32:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.32},
doi = {10.4230/LIPICS.CONCUR.2016.32},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/CastellanC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/CastiglioniGT16,
author = {Valentina Castiglioni and
Daniel Gebler and
Simone Tini},
editor = {Jos{\'{e}}e Desharnais and
Radha Jagadeesan},
title = {Modal Decomposition on Nondeterministic Probabilistic Processes},
booktitle = {27th International Conference on Concurrency Theory, {CONCUR} 2016,
August 23-26, 2016, Qu{\'{e}}bec City, Canada},
series = {LIPIcs},
volume = {59},
pages = {36:1--36:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.36},
doi = {10.4230/LIPICS.CONCUR.2016.36},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/CastiglioniGT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Chatzikokolakis16,
author = {Konstantinos Chatzikokolakis and
Catuscia Palamidessi and
Valeria Vignudelli},
editor = {Jos{\'{e}}e Desharnais and
Radha Jagadeesan},
title = {Up-To Techniques for Generalized Bisimulation Metrics},
booktitle = {27th International Conference on Concurrency Theory, {CONCUR} 2016,
August 23-26, 2016, Qu{\'{e}}bec City, Canada},
series = {LIPIcs},
volume = {59},
pages = {35:1--35:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.35},
doi = {10.4230/LIPICS.CONCUR.2016.35},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Chatzikokolakis16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/DacaHKP16,
author = {Przemyslaw Daca and
Thomas A. Henzinger and
Jan Kret{\'{\i}}nsk{\'{y}} and
Tatjana Petrov},
editor = {Jos{\'{e}}e Desharnais and
Radha Jagadeesan},
title = {Linear Distances between Markov Chains},
booktitle = {27th International Conference on Concurrency Theory, {CONCUR} 2016,
August 23-26, 2016, Qu{\'{e}}bec City, Canada},
series = {LIPIcs},
volume = {59},
pages = {20:1--20:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.20},
doi = {10.4230/LIPICS.CONCUR.2016.20},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/DacaHKP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/DahlqvistDG16,
author = {Fredrik Dahlqvist and
Vincent Danos and
Ilias Garnier},
editor = {Jos{\'{e}}e Desharnais and
Radha Jagadeesan},
title = {Robustly Parameterised Higher-Order Probabilistic Models},
booktitle = {27th International Conference on Concurrency Theory, {CONCUR} 2016,
August 23-26, 2016, Qu{\'{e}}bec City, Canada},
series = {LIPIcs},
volume = {59},
pages = {23:1--23:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.23},
doi = {10.4230/LIPICS.CONCUR.2016.23},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/DahlqvistDG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/DahlqvistDGK16,
author = {Fredrik Dahlqvist and
Vincent Danos and
Ilias Garnier and
Ohad Kammar},
editor = {Jos{\'{e}}e Desharnais and
Radha Jagadeesan},
title = {Bayesian Inversion by {\(\omega\)}-Complete Cone Duality},
booktitle = {27th International Conference on Concurrency Theory, {CONCUR} 2016,
August 23-26, 2016, Qu{\'{e}}bec City, Canada},
series = {LIPIcs},
volume = {59},
pages = {1:1--1:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.1},
doi = {10.4230/LIPICS.CONCUR.2016.1},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/DahlqvistDGK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/DavidLM16,
author = {Am{\'{e}}lie David and
Fran{\c{c}}ois Laroussinie and
Nicolas Markey},
editor = {Jos{\'{e}}e Desharnais and
Radha Jagadeesan},
title = {On the Expressiveness of {QCTL}},
booktitle = {27th International Conference on Concurrency Theory, {CONCUR} 2016,
August 23-26, 2016, Qu{\'{e}}bec City, Canada},
series = {LIPIcs},
volume = {59},
pages = {28:1--28:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.28},
doi = {10.4230/LIPICS.CONCUR.2016.28},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/DavidLM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/DubutGG16,
author = {J{\'{e}}r{\'{e}}my Dubut and
Eric Goubault and
Jean Goubault{-}Larrecq},
editor = {Jos{\'{e}}e Desharnais and
Radha Jagadeesan},
title = {Bisimulations and Unfolding in P-Accessible Categorical Models},
booktitle = {27th International Conference on Concurrency Theory, {CONCUR} 2016,
August 23-26, 2016, Qu{\'{e}}bec City, Canada},
series = {LIPIcs},
volume = {59},
pages = {25:1--25:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.25},
doi = {10.4230/LIPICS.CONCUR.2016.25},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/DubutGG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/EsparzaKMW16,
author = {Javier Esparza and
Denis Kuperberg and
Anca Muscholl and
Igor Walukiewicz},
editor = {Jos{\'{e}}e Desharnais and
Radha Jagadeesan},
title = {Soundness in Negotiations},
booktitle = {27th International Conference on Concurrency Theory, {CONCUR} 2016,
August 23-26, 2016, Qu{\'{e}}bec City, Canada},
series = {LIPIcs},
volume = {59},
pages = {12:1--12:13},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.12},
doi = {10.4230/LIPICS.CONCUR.2016.12},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/EsparzaKMW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/FinkbeinerH16,
author = {Bernd Finkbeiner and
Christopher Hahn},
editor = {Jos{\'{e}}e Desharnais and
Radha Jagadeesan},
title = {Deciding Hyperproperties},
booktitle = {27th International Conference on Concurrency Theory, {CONCUR} 2016,
August 23-26, 2016, Qu{\'{e}}bec City, Canada},
series = {LIPIcs},
volume = {59},
pages = {13:1--13:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.13},
doi = {10.4230/LIPICS.CONCUR.2016.13},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/FinkbeinerH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/HaasHHKLPSSV16,
author = {Andreas Haas and
Thomas A. Henzinger and
Andreas Holzer and
Christoph M. Kirsch and
Michael Lippautz and
Hannes Payer and
Ali Sezgin and
Ana Sokolova and
Helmut Veith},
editor = {Jos{\'{e}}e Desharnais and
Radha Jagadeesan},
title = {Local Linearizability for Concurrent Container-Type Data Structures},
booktitle = {27th International Conference on Concurrency Theory, {CONCUR} 2016,
August 23-26, 2016, Qu{\'{e}}bec City, Canada},
series = {LIPIcs},
volume = {59},
pages = {6:1--6:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.6},
doi = {10.4230/LIPICS.CONCUR.2016.6},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/HaasHHKLPSSV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/HausmannSE16,
author = {Daniel Hausmann and
Lutz Schr{\"{o}}der and
Christoph Egger},
editor = {Jos{\'{e}}e Desharnais and
Radha Jagadeesan},
title = {Global Caching for the Alternation-free {\(\mu\)}-Calculus},
booktitle = {27th International Conference on Concurrency Theory, {CONCUR} 2016,
August 23-26, 2016, Qu{\'{e}}bec City, Canada},
series = {LIPIcs},
volume = {59},
pages = {34:1--34:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.34},
doi = {10.4230/LIPICS.CONCUR.2016.34},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/HausmannSE16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/HorneTAC16,
author = {Ross Horne and
Alwen Tiu and
Bogdan Aman and
Gabriel Ciobanu},
editor = {Jos{\'{e}}e Desharnais and
Radha Jagadeesan},
title = {Private Names in Non-Commutative Logic},
booktitle = {27th International Conference on Concurrency Theory, {CONCUR} 2016,
August 23-26, 2016, Qu{\'{e}}bec City, Canada},
series = {LIPIcs},
volume = {59},
pages = {31:1--31:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.31},
doi = {10.4230/LIPICS.CONCUR.2016.31},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/HorneTAC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/JezequelL16,
author = {Lo{\"{\i}}g Jezequel and
Didier Lime},
editor = {Jos{\'{e}}e Desharnais and
Radha Jagadeesan},
title = {Lazy Reachability Analysis in Distributed Systems},
booktitle = {27th International Conference on Concurrency Theory, {CONCUR} 2016,
August 23-26, 2016, Qu{\'{e}}bec City, Canada},
series = {LIPIcs},
volume = {59},
pages = {17:1--17:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.17},
doi = {10.4230/LIPICS.CONCUR.2016.17},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/JezequelL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/KonnovKWVBS16,
author = {Igor V. Konnov and
Tomer Kotek and
Qiang Wang and
Helmut Veith and
Simon Bliudze and
Joseph Sifakis},
editor = {Jos{\'{e}}e Desharnais and
Radha Jagadeesan},
title = {Parameterized Systems in {BIP:} Design and Model Checking},
booktitle = {27th International Conference on Concurrency Theory, {CONCUR} 2016,
August 23-26, 2016, Qu{\'{e}}bec City, Canada},
series = {LIPIcs},
volume = {59},
pages = {30:1--30:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.30},
doi = {10.4230/LIPICS.CONCUR.2016.30},
timestamp = {Fri, 12 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/KonnovKWVBS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/LechnerMOPW16,
author = {Antonia Lechner and
Richard Mayr and
Jo{\"{e}}l Ouaknine and
Amaury Pouly and
James Worrell},
editor = {Jos{\'{e}}e Desharnais and
Radha Jagadeesan},
title = {Model Checking Flat Freeze {LTL} on One-Counter Automata},
booktitle = {27th International Conference on Concurrency Theory, {CONCUR} 2016,
August 23-26, 2016, Qu{\'{e}}bec City, Canada},
series = {LIPIcs},
volume = {59},
pages = {29:1--29:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.29},
doi = {10.4230/LIPICS.CONCUR.2016.29},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/LechnerMOPW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/PereraGC16,
author = {Roly Perera and
Deepak Garg and
James Cheney},
editor = {Jos{\'{e}}e Desharnais and
Radha Jagadeesan},
title = {Causally Consistent Dynamic Slicing},
booktitle = {27th International Conference on Concurrency Theory, {CONCUR} 2016,
August 23-26, 2016, Qu{\'{e}}bec City, Canada},
series = {LIPIcs},
volume = {59},
pages = {18:1--18:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.18},
doi = {10.4230/LIPICS.CONCUR.2016.18},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/PereraGC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/RickmannWNS16,
author = {Christina Rickmann and
Christoph Wagner and
Uwe Nestmann and
Stefan Schmid},
editor = {Jos{\'{e}}e Desharnais and
Radha Jagadeesan},
title = {Topological Self-Stabilization with Name-Passing Process Calculi},
booktitle = {27th International Conference on Concurrency Theory, {CONCUR} 2016,
August 23-26, 2016, Qu{\'{e}}bec City, Canada},
series = {LIPIcs},
volume = {59},
pages = {19:1--19:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.19},
doi = {10.4230/LIPICS.CONCUR.2016.19},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/RickmannWNS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Rossi16,
author = {Francesca Rossi},
editor = {Jos{\'{e}}e Desharnais and
Radha Jagadeesan},
title = {Ethical Preference-Based Decision Support Systems},
booktitle = {27th International Conference on Concurrency Theory, {CONCUR} 2016,
August 23-26, 2016, Qu{\'{e}}bec City, Canada},
series = {LIPIcs},
volume = {59},
pages = {2:1--2:7},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.2},
doi = {10.4230/LIPICS.CONCUR.2016.2},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/Rossi16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Schlachter16,
author = {Uli Schlachter},
editor = {Jos{\'{e}}e Desharnais and
Radha Jagadeesan},
title = {Bounded Petri Net Synthesis from Modal Transition Systems is Undecidable},
booktitle = {27th International Conference on Concurrency Theory, {CONCUR} 2016,
August 23-26, 2016, Qu{\'{e}}bec City, Canada},
series = {LIPIcs},
volume = {59},
pages = {15:1--15:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.15},
doi = {10.4230/LIPICS.CONCUR.2016.15},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Schlachter16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/ShapiroAP16,
author = {Marc Shapiro and
Masoud Saeida Ardekani and
Gustavo Petri},
editor = {Jos{\'{e}}e Desharnais and
Radha Jagadeesan},
title = {Consistency in 3D},
booktitle = {27th International Conference on Concurrency Theory, {CONCUR} 2016,
August 23-26, 2016, Qu{\'{e}}bec City, Canada},
series = {LIPIcs},
volume = {59},
pages = {3:1--3:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.3},
doi = {10.4230/LIPICS.CONCUR.2016.3},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/ShapiroAP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/TangB16,
author = {Qiyi Tang and
Franck van Breugel},
editor = {Jos{\'{e}}e Desharnais and
Radha Jagadeesan},
title = {Computing Probabilistic Bisimilarity Distances via Policy Iteration},
booktitle = {27th International Conference on Concurrency Theory, {CONCUR} 2016,
August 23-26, 2016, Qu{\'{e}}bec City, Canada},
series = {LIPIcs},
volume = {59},
pages = {22:1--22:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.22},
doi = {10.4230/LIPICS.CONCUR.2016.22},
timestamp = {Tue, 25 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/TangB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/TriebelS16,
author = {Marvin Triebel and
Jan S{\"{u}}rmeli},
editor = {Jos{\'{e}}e Desharnais and
Radha Jagadeesan},
title = {Homogeneous Equations of Algebraic Petri Nets},
booktitle = {27th International Conference on Concurrency Theory, {CONCUR} 2016,
August 23-26, 2016, Qu{\'{e}}bec City, Canada},
series = {LIPIcs},
volume = {59},
pages = {14:1--14:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.14},
doi = {10.4230/LIPICS.CONCUR.2016.14},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/TriebelS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/UrabeSH16,
author = {Natsuki Urabe and
Shunsuke Shimizu and
Ichiro Hasuo},
editor = {Jos{\'{e}}e Desharnais and
Radha Jagadeesan},
title = {Coalgebraic Trace Semantics for Buechi and Parity Automata},
booktitle = {27th International Conference on Concurrency Theory, {CONCUR} 2016,
August 23-26, 2016, Qu{\'{e}}bec City, Canada},
series = {LIPIcs},
volume = {59},
pages = {24:1--24:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.24},
doi = {10.4230/LIPICS.CONCUR.2016.24},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/UrabeSH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/X16,
editor = {Jos{\'{e}}e Desharnais and
Radha Jagadeesan},
title = {Front Matter, Table of Contents, Preface, Conference Organization},
booktitle = {27th International Conference on Concurrency Theory, {CONCUR} 2016,
August 23-26, 2016, Qu{\'{e}}bec City, Canada},
series = {LIPIcs},
volume = {59},
pages = {0:i--0:xxii},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.0},
doi = {10.4230/LIPICS.CONCUR.2016.0},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/X16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/YangGST16,
author = {Junxing Yang and
Radu Grosu and
Scott A. Smolka and
Ashish Tiwari},
editor = {Jos{\'{e}}e Desharnais and
Radha Jagadeesan},
title = {Love Thy Neighbor: V-Formation as a Problem of Model Predictive Control},
booktitle = {27th International Conference on Concurrency Theory, {CONCUR} 2016,
August 23-26, 2016, Qu{\'{e}}bec City, Canada},
series = {LIPIcs},
volume = {59},
pages = {4:1--4:5},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.4},
doi = {10.4230/LIPICS.CONCUR.2016.4},
timestamp = {Wed, 06 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/YangGST16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/2016,
editor = {Jos{\'{e}}e Desharnais and
Radha Jagadeesan},
title = {27th International Conference on Concurrency Theory, {CONCUR} 2016,
August 23-26, 2016, Qu{\'{e}}bec City, Canada},
series = {LIPIcs},
volume = {59},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {http://www.dagstuhl.de/dagpub/978-3-95977-017-0},
isbn = {978-3-95977-017-0},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-06-02 20:12 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
