Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/concur/0001DGG17,
  author    = {Nathalie Bertrand and
               Miheer Dewaskar and
               Blaise Genest and
               Hugo Gimbert},
  title     = {Controlling a Population},
  booktitle = {{CONCUR}},
  series    = {LIPIcs},
  volume    = {85},
  pages     = {12:1--12:16},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2017}
}
@inproceedings{DBLP:conf/concur/0001HPW17,
  author    = {Julian Gutierrez and
               Paul Harrenstein and
               Giuseppe Perelli and
               Michael J. Wooldridge},
  title     = {Nash Equilibrium and Bisimulation Invariance},
  booktitle = {{CONCUR}},
  series    = {LIPIcs},
  volume    = {85},
  pages     = {17:1--17:16},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2017}
}
@inproceedings{DBLP:conf/concur/AbdullaAA17,
  author    = {Parosh Aziz Abdulla and
               C. Aiswarya and
               Mohamed Faouzi Atig},
  title     = {Data Multi-Pushdown Automata},
  booktitle = {{CONCUR}},
  series    = {LIPIcs},
  volume    = {85},
  pages     = {38:1--38:17},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2017}
}
@inproceedings{DBLP:conf/concur/AcetoFGIO17,
  author    = {Luca Aceto and
               Ignacio F{\'{a}}bregas and
               {\'{A}}lvaro Garc{\'{\i}}a{-}P{\'{e}}rez and
               Anna Ing{\'{o}}lfsd{\'{o}}ttir and
               Yolanda Ortega{-}Mall{\'{e}}n},
  title     = {Rule Formats for Nominal Process Calculi},
  booktitle = {{CONCUR}},
  series    = {LIPIcs},
  volume    = {85},
  pages     = {10:1--10:16},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2017}
}
@inproceedings{DBLP:conf/concur/AhnHT17,
  author    = {Ki Yung Ahn and
               Ross Horne and
               Alwen Tiu},
  title     = {A Characterisation of Open Bisimilarity using an Intuitionistic Modal
               Logic},
  booktitle = {{CONCUR}},
  series    = {LIPIcs},
  volume    = {85},
  pages     = {7:1--7:17},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2017}
}
@inproceedings{DBLP:conf/concur/AkshayCDJS17,
  author    = {S. Akshay and
               Supratik Chakraborty and
               Ankush Das and
               Vishal Jagannath and
               Sai Sandeep},
  title     = {On Petri Nets with Hierarchical Special Arcs},
  booktitle = {{CONCUR}},
  series    = {LIPIcs},
  volume    = {85},
  pages     = {40:1--40:17},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2017}
}
@inproceedings{DBLP:conf/concur/AkshayGKS17,
  author    = {S. Akshay and
               Paul Gastin and
               Shankara Narayanan Krishna and
               Ilias Sarkar},
  title     = {Towards an Efficient Tree Automata Based Technique for Timed Systems},
  booktitle = {{CONCUR}},
  series    = {LIPIcs},
  volume    = {85},
  pages     = {39:1--39:15},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2017}
}
@inproceedings{DBLP:conf/concur/AvniHC17,
  author    = {Guy Avni and
               Thomas A. Henzinger and
               Ventsislav Chonev},
  title     = {Infinite-Duration Bidding Games},
  booktitle = {{CONCUR}},
  series    = {LIPIcs},
  volume    = {85},
  pages     = {21:1--21:18},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2017}
}
@inproceedings{DBLP:conf/concur/BassetMS17,
  author    = {Nicolas Basset and
               Jean Mairesse and
               Mich{\`{e}}le Soria},
  title     = {Uniform Sampling for Networks of Automata},
  booktitle = {{CONCUR}},
  series    = {LIPIcs},
  volume    = {85},
  pages     = {36:1--36:16},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2017}
}
@inproceedings{DBLP:conf/concur/BolligQS17,
  author    = {Benedikt Bollig and
               Karin Quaas and
               Arnaud Sangnier},
  title     = {The Complexity of Flat Freeze {LTL}},
  booktitle = {{CONCUR}},
  series    = {LIPIcs},
  volume    = {85},
  pages     = {33:1--33:16},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2017}
}
@inproceedings{DBLP:conf/concur/Bonchi0S17,
  author    = {Filippo Bonchi and
               Alexandra Silva and
               Ana Sokolova},
  title     = {The Power of Convex Algebras},
  booktitle = {{CONCUR}},
  series    = {LIPIcs},
  volume    = {85},
  pages     = {23:1--23:18},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2017}
}
@inproceedings{DBLP:conf/concur/BonchiHPS17,
  author    = {Filippo Bonchi and
               Joshua Holland and
               Dusko Pavlovic and
               Pawe{\l} Soboci{\'{n}}ski},
  title     = {Refinement for Signal Flow Graphs},
  booktitle = {{CONCUR}},
  series    = {LIPIcs},
  volume    = {85},
  pages     = {24:1--24:16},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2017}
}
@inproceedings{DBLP:conf/concur/BouajjaniEW17,
  author    = {Ahmed Bouajjani and
               Constantin Enea and
               Chao Wang},
  title     = {Checking Linearizability of Concurrent Priority Queues},
  booktitle = {{CONCUR}},
  series    = {LIPIcs},
  volume    = {85},
  pages     = {16:1--16:16},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2017}
}
@inproceedings{DBLP:conf/concur/BouyerHJ17,
  author    = {Patricia Bouyer and
               Serge Haddad and
               Vincent Jug{\'{e}}},
  title     = {Unbounded Product-Form Petri Nets},
  booktitle = {{CONCUR}},
  series    = {LIPIcs},
  volume    = {85},
  pages     = {31:1--31:16},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2017}
}
@inproceedings{DBLP:conf/concur/BrenguierPRS17,
  author    = {Romain Brenguier and
               Arno Pauly and
               Jean{-}Fran{\c{c}}ois Raskin and
               Ocan Sankur},
  title     = {Admissibility in Games with Imperfect Information (Invited Talk)},
  booktitle = {{CONCUR}},
  series    = {LIPIcs},
  volume    = {85},
  pages     = {2:1--2:23},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2017}
}
@inproceedings{DBLP:conf/concur/BrunetPS17,
  author    = {Paul Brunet and
               Damien Pous and
               Georg Struth},
  title     = {On Decidability of Concurrent Kleene Algebra},
  booktitle = {{CONCUR}},
  series    = {LIPIcs},
  volume    = {85},
  pages     = {28:1--28:15},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2017}
}
@inproceedings{DBLP:conf/concur/CastellaniDG17,
  author    = {Ilaria Castellani and
               Mariangiola Dezani{-}Ciancaglini and
               Paola Giannini},
  title     = {Concurrent Reversible Sessions},
  booktitle = {{CONCUR}},
  series    = {LIPIcs},
  volume    = {85},
  pages     = {30:1--30:17},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2017}
}
@inproceedings{DBLP:conf/concur/CeroneGY17,
  author    = {Andrea Cerone and
               Alexey Gotsman and
               Hongseok Yang},
  title     = {Algebraic Laws for Weak Consistency},
  booktitle = {{CONCUR}},
  series    = {LIPIcs},
  volume    = {85},
  pages     = {26:1--26:18},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2017}
}
@inproceedings{DBLP:conf/concur/ChatainP17,
  author    = {Thomas Chatain and
               Lo{\"{\i}}c Paulev{\'{e}}},
  title     = {Goal-Driven Unfolding of Petri Nets},
  booktitle = {{CONCUR}},
  series    = {LIPIcs},
  volume    = {85},
  pages     = {18:1--18:16},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2017}
}
@inproceedings{DBLP:conf/concur/ChatterjeeHO17,
  author    = {Krishnendu Chatterjee and
               Thomas A. Henzinger and
               Jan Otop},
  title     = {Bidirectional Nested Weighted Automata},
  booktitle = {{CONCUR}},
  series    = {LIPIcs},
  volume    = {85},
  pages     = {5:1--5:16},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2017}
}
@inproceedings{DBLP:conf/concur/ChenSW17,
  author    = {Taolue Chen and
               Fu Song and
               Zhilin Wu},
  title     = {Tractability of Separation Logic with Inductive Definitions: Beyond
               Lists},
  booktitle = {{CONCUR}},
  series    = {LIPIcs},
  volume    = {85},
  pages     = {37:1--37:17},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2017}
}
@inproceedings{DBLP:conf/concur/DavidJLR17,
  author    = {Nicolas David and
               Claude Jard and
               Didier Lime and
               Olivier H. Roux},
  title     = {Coverability Synthesis in Parametric Petri Nets},
  booktitle = {{CONCUR}},
  series    = {LIPIcs},
  volume    = {85},
  pages     = {14:1--14:16},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2017}
}
@inproceedings{DBLP:conf/concur/DeckerHLST17,
  author    = {Normann Decker and
               Peter Habermehl and
               Martin Leucker and
               Arnaud Sangnier and
               Daniel Thoma},
  title     = {Model-Checking Counting Temporal Logics on Flat Structures},
  booktitle = {{CONCUR}},
  series    = {LIPIcs},
  volume    = {85},
  pages     = {29:1--29:17},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2017}
}
@inproceedings{DBLP:conf/concur/DimitrovaGMPS17,
  author    = {Rayna Dimitrova and
               Ivan Gavran and
               Rupak Majumdar and
               Vinayak S. Prabhu and
               Sadegh Esmaeil Zadeh Soudjani},
  title     = {The Robot Routing Problem for Collecting Aggregate Stochastic Rewards},
  booktitle = {{CONCUR}},
  series    = {LIPIcs},
  volume    = {85},
  pages     = {13:1--13:17},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2017}
}
@inproceedings{DBLP:conf/concur/DonaldsonKSW17,
  author    = {Alastair F. Donaldson and
               Jeroen Ketema and
               Tyler Sorensen and
               John Wickerson},
  title     = {Forward Progress on {GPU} Concurrency (Invited Talk)},
  booktitle = {{CONCUR}},
  series    = {LIPIcs},
  volume    = {85},
  pages     = {1:1--1:13},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2017}
}
@inproceedings{DBLP:conf/concur/DorschMSW17,
  author    = {Ulrich Dorsch and
               Stefan Milius and
               Lutz Schr{\"{o}}der and
               Thorsten Wi{\ss}mann},
  title     = {Efficient Coalgebraic Partition Refinement},
  booktitle = {{CONCUR}},
  series    = {LIPIcs},
  volume    = {85},
  pages     = {32:1--32:16},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2017}
}
@inproceedings{DBLP:conf/concur/DurierHS17,
  author    = {Adrien Durier and
               Daniel Hirschkoff and
               Davide Sangiorgi},
  title     = {Divergence and Unique Solution of Equations},
  booktitle = {{CONCUR}},
  series    = {LIPIcs},
  volume    = {85},
  pages     = {11:1--11:16},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2017}
}
@inproceedings{DBLP:conf/concur/FarzanK17,
  author    = {Azadeh Farzan and
               Zachary Kincaid},
  title     = {A New Notion of Compositionality for Concurrent Program Proofs (Invited
               Talk)},
  booktitle = {{CONCUR}},
  series    = {LIPIcs},
  volume    = {85},
  pages     = {4:1--4:11},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2017}
}
@inproceedings{DBLP:conf/concur/FengHTY17,
  author    = {Yuan Feng and
               Ernst Moritz Hahn and
               Andrea Turrini and
               Shenggang Ying},
  title     = {Model Checking Omega-regular Properties for Quantum Markov Chains},
  booktitle = {{CONCUR}},
  series    = {LIPIcs},
  volume    = {85},
  pages     = {35:1--35:16},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2017}
}
@inproceedings{DBLP:conf/concur/FijalkowR017,
  author    = {Nathana{\"{e}}l Fijalkow and
               Cristian Riveros and
               James Worrell},
  title     = {Probabilistic Automata of Bounded Ambiguity},
  booktitle = {{CONCUR}},
  series    = {LIPIcs},
  volume    = {85},
  pages     = {19:1--19:14},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2017}
}
@inproceedings{DBLP:conf/concur/FokkinkGL17,
  author    = {Wan J. Fokkink and
               Rob J. van Glabbeek and
               Bas Luttik},
  title     = {Divide and Congruence {III:} Stability {\&} Divergence},
  booktitle = {{CONCUR}},
  series    = {LIPIcs},
  volume    = {85},
  pages     = {15:1--15:16},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2017}
}
@inproceedings{DBLP:conf/concur/Francalanza17,
  author    = {Adrian Francalanza},
  title     = {Consistently-Detecting Monitors},
  booktitle = {{CONCUR}},
  series    = {LIPIcs},
  volume    = {85},
  pages     = {8:1--8:19},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2017}
}
@inproceedings{DBLP:conf/concur/Fu17,
  author    = {Yuxi Fu},
  title     = {On the Power of Name-Passing Communication},
  booktitle = {{CONCUR}},
  series    = {LIPIcs},
  volume    = {85},
  pages     = {22:1--22:15},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2017}
}
@inproceedings{DBLP:conf/concur/HuangY17,
  author    = {Mingzhang Huang and
               Qiang Yin},
  title     = {Two Lower Bounds for {BPA}},
  booktitle = {{CONCUR}},
  series    = {LIPIcs},
  volume    = {85},
  pages     = {20:1--20:16},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2017}
}
@inproceedings{DBLP:conf/concur/KappeBL0Z17,
  author    = {Tobias Kapp{\'{e}} and
               Paul Brunet and
               Bas Luttik and
               Alexandra Silva and
               Fabio Zanasi},
  title     = {Brzozowski Goes Concurrent - {A} Kleene Theorem for Pomset Languages},
  booktitle = {{CONCUR}},
  series    = {LIPIcs},
  volume    = {85},
  pages     = {25:1--25:16},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2017}
}
@inproceedings{DBLP:conf/concur/KupfermanV17,
  author    = {Orna Kupferman and
               Gal Vardi},
  title     = {Flow Logic},
  booktitle = {{CONCUR}},
  series    = {LIPIcs},
  volume    = {85},
  pages     = {9:1--9:18},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2017}
}
@inproceedings{DBLP:conf/concur/MurawskiT17,
  author    = {Andrzej S. Murawski and
               Nikos Tzevelekos},
  title     = {Higher-Order Linearisability},
  booktitle = {{CONCUR}},
  series    = {LIPIcs},
  volume    = {85},
  pages     = {34:1--34:18},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2017}
}
@inproceedings{DBLP:conf/concur/SchlachterW17,
  author    = {Uli Schlachter and
               Harro Wimmel},
  title     = {k-Bounded Petri Net Synthesis from Modal Transition Systems},
  booktitle = {{CONCUR}},
  series    = {LIPIcs},
  volume    = {85},
  pages     = {6:1--6:15},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2017}
}
@inproceedings{DBLP:conf/concur/TangB17,
  author    = {Qiyi Tang and
               Franck van Breugel},
  title     = {Algorithms to Compute Probabilistic Bisimilarity Distances for Labelled
               Markov Chains},
  booktitle = {{CONCUR}},
  series    = {LIPIcs},
  volume    = {85},
  pages     = {27:1--27:16},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2017}
}
@inproceedings{DBLP:conf/concur/X17,
  title     = {Front Matter, Table of Contents, Preface, Conference Organization},
  booktitle = {{CONCUR}},
  series    = {LIPIcs},
  volume    = {85},
  pages     = {0:i--0:xx},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2017}
}
@inproceedings{DBLP:conf/concur/Yang17,
  author    = {Hongseok Yang},
  title     = {Probabilistic Programming (Invited Talk)},
  booktitle = {{CONCUR}},
  series    = {LIPIcs},
  volume    = {85},
  pages     = {3:1--3:1},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2017}
}
@proceedings{DBLP:conf/concur/2017,
  editor    = {Roland Meyer and
               Uwe Nestmann},
  title     = {28th International Conference on Concurrency Theory, {CONCUR} 2017,
               September 5-8, 2017, Berlin, Germany},
  series    = {LIPIcs},
  volume    = {85},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2017}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics