CONCUR 2017 September 5-8, 2017 - Berlin, Germany

28th International Conference on Concurrency Theory (CONCUR 2017)



Roland Meyer and Uwe Nestmann (Eds.)
ISBN 978-3-95977-048-4, LIPICS Vol. 85 ISSN 1868-8969
Additional Information
License
Conference Website
Complete volume (PDF, 21 MB)
Search Publication Server


Authors
  • Abdulla, Parosh Aziz
  • Aceto, Luca
  • Ahn, Ki Yung
  • Aiswarya, C.
  • Akshay, S.
  • Atig, Mohamed Faouzi
  • Avni, Guy
  • Basset, Nicolas
  • Bertrand, Nathalie
  • Bollig, Benedikt
  • Bonchi, Filippo
  • Bouajjani, Ahmed
  • Bouyer, Patricia
  • Brenguier, Romain
  • Brunet, Paul
  • Castellani, Ilaria
  • Cerone, Andrea
  • Chakraborty, Supratik
  • Chatain, Thomas
  • Chatterjee, Krishnendu
  • Chen, Taolue
  • Chonev, Ventsislav
  • Das, Ankush
  • David, Nicolas
  • Decker, Normann
  • Dewaskar, Miheer
  • Dezani-Ciancaglini, Mariangiola
  • Dimitrova, Rayna
  • Donaldson, Alastair F.
  • Dorsch, Ulrich
  • Durier, Adrien
  • Enea, Constantin
  • Fábregas, Ignacio
  • Farzan, Azadeh
  • Feng, Yuan
  • Fijalkow, Nathanaël
  • Fokkink, Wan
  • Francalanza, Adrian
  • Fu, Yuxi
  • García-Pérez, Álvaro
  • Gastin, Paul
  • Gavran, Ivan
  • Genest, Blaise
  • Giannini, Paola
  • Gimbert, Hugo
  • Gotsman, Alexey
  • Gutierrez, Julian
  • Habermehl, Peter
  • Haddad, Serge
  • Hahn, Ernst Moritz
  • Harrenstein, Paul
  • Henzinger, Thomas A.
  • Hirschkoff, Daniel
  • Holland, Joshua
  • Horne, Ross
  • Huang, Mingzhang
  • Ingólfsdóttir, Anna
  • Jagannath, Vishal
  • Jard, Claude
  • Jugé, Vincent
  • Kappé, Tobias
  • Ketema, Jeroen
  • Kincaid, Zachary
  • Krishna, Shankara Narayanan
  • Kupferman, Orna
  • Leucker, Martin
  • Lime, Didier
  • Luttik, Bas
  • Mairesse, Jean
  • Majumdar, Rupak
  • Meyer, Roland
  • Milius, Stefan
  • Murawski, Andrzej S.
  • Nestmann, Uwe
  • Ortega-Mallén, Yolanda
  • Otop, Jan
  • Paulevé, Loïc
  • Pauly, Arno
  • Pavlovic, Dusko
  • Perelli, Giuseppe
  • Pous, Damien
  • Prabhu, Vinayak S.
  • Quaas, Karin
  • Raskin, Jean-François
  • Riveros, Cristian
  • Roux, Olivier H.
  • Sandeep, Sai
  • Sangiorgi, Davide
  • Sangnier, Arnaud
  • Sankur, Ocan
  • Sarkar, Ilias
  • Schlachter, Uli
  • Schröder, Lutz
  • Silva, Alexandra
  • Sobocinski, Pawel
  • Sokolova, Ana
  • Song, Fu
  • Sorensen, Tyler
  • Soria, Michèle
  • Soudjani, Sadegh Esmaeil Zadeh
  • Struth, Georg
  • Tang, Qiyi
  • Thoma, Daniel
  • Tiu, Alwen
  • Turrini, Andrea
  • Tzevelekos, Nikos
  • van Breugel, Franck
  • van Glabbeek, Rob
  • Vardi, Gal
  • Wang, Chao
  • Wißmann, Thorsten
  • Wickerson, John
  • Wimmel, Harro
  • Wooldridge, Michael
  • Worrell, James
  • Wu, Zhilin
  • Yang, Hongseok
  • Yin, Qiang
  • Ying, Shenggang
  • Zanasi, Fabio

  •   
    Front Matter, Table of Contents, Preface, Conference Organization
    Authors: Meyer, Roland ; Nestmann, Uwe

    Abstract | Document (319 KB) | BibTeX

    Forward Progress on GPU Concurrency (Invited Talk)
    Authors: Donaldson, Alastair F. ; Ketema, Jeroen ; Sorensen, Tyler ; Wickerson, John

    Abstract | Document (483 KB) | BibTeX

    Admissibility in Games with Imperfect Information (Invited Talk)
    Authors: Brenguier, Romain ; Pauly, Arno ; Raskin, Jean-François ; Sankur, Ocan

    Abstract | Document (572 KB) | BibTeX

    Probabilistic Programming (Invited Talk)
    Authors: Yang, Hongseok

    Abstract | Document (202 KB) | BibTeX

    A New Notion of Compositionality for Concurrent Program Proofs (Invited Talk)
    Authors: Farzan, Azadeh ; Kincaid, Zachary

    Abstract | Document (704 KB) | BibTeX

    Bidirectional Nested Weighted Automata
    Authors: Chatterjee, Krishnendu ; Henzinger, Thomas A. ; Otop, Jan

    Abstract | Document (557 KB) | BibTeX

    k-Bounded Petri Net Synthesis from Modal Transition Systems
    Authors: Schlachter, Uli ; Wimmel, Harro

    Abstract | Document (568 KB) | BibTeX

    A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic
    Authors: Ahn, Ki Yung ; Horne, Ross ; Tiu, Alwen

    Abstract | Document (566 KB) | BibTeX

    Consistently-Detecting Monitors
    Authors: Francalanza, Adrian

    Abstract | Document (734 KB) | BibTeX

    Flow Logic
    Authors: Kupferman, Orna ; Vardi, Gal

    Abstract | Document (570 KB) | BibTeX

    Rule Formats for Nominal Process Calculi
    Authors: Aceto, Luca ; Fábregas, Ignacio ; García-Pérez, Álvaro ; Ingólfsdóttir, Anna ; Ortega-Mallén, Yolanda

    Abstract | Document (548 KB) | BibTeX

    Divergence and Unique Solution of Equations
    Authors: Durier, Adrien ; Hirschkoff, Daniel ; Sangiorgi, Davide

    Abstract | Document (480 KB) | BibTeX

    Controlling a Population
    Authors: Bertrand, Nathalie ; Dewaskar, Miheer ; Genest, Blaise ; Gimbert, Hugo

    Abstract | Document (520 KB) | BibTeX

    The Robot Routing Problem for Collecting Aggregate Stochastic Rewards
    Authors: Dimitrova, Rayna ; Gavran, Ivan ; Majumdar, Rupak ; Prabhu, Vinayak S. ; Soudjani, Sadegh Esmaeil Zadeh

    Abstract | Document (631 KB) | BibTeX

    Coverability Synthesis in Parametric Petri Nets
    Authors: David, Nicolas ; Jard, Claude ; Lime, Didier ; Roux, Olivier H.

    Abstract | Document (598 KB) | BibTeX

    Divide and Congruence III: Stability & Divergence
    Authors: Fokkink, Wan ; van Glabbeek, Rob ; Luttik, Bas

    Abstract | Document (527 KB) | BibTeX

    Checking Linearizability of Concurrent Priority Queues
    Authors: Bouajjani, Ahmed ; Enea, Constantin ; Wang, Chao

    Abstract | Document (672 KB) | BibTeX

    Nash Equilibrium and Bisimulation Invariance
    Authors: Gutierrez, Julian ; Harrenstein, Paul ; Perelli, Giuseppe ; Wooldridge, Michael

    Abstract | Document (498 KB) | BibTeX

    Goal-Driven Unfolding of Petri Nets
    Authors: Chatain, Thomas ; Paulevé, Loïc

    Abstract | Document (571 KB) | BibTeX

    Probabilistic Automata of Bounded Ambiguity
    Authors: Fijalkow, Nathanaël ; Riveros, Cristian ; Worrell, James

    Abstract | Document (580 KB) | BibTeX

    Two Lower Bounds for BPA
    Authors: Huang, Mingzhang ; Yin, Qiang

    Abstract | Document (693 KB) | BibTeX

    Infinite-Duration Bidding Games
    Authors: Avni, Guy ; Henzinger, Thomas A. ; Chonev, Ventsislav

    Abstract | Document (491 KB) | BibTeX

    On the Power of Name-Passing Communication
    Authors: Fu, Yuxi

    Abstract | Document (499 KB) | BibTeX

    The Power of Convex Algebras
    Authors: Bonchi, Filippo ; Silva, Alexandra ; Sokolova, Ana

    Abstract | Document (666 KB) | BibTeX

    Refinement for Signal Flow Graphs
    Authors: Bonchi, Filippo ; Holland, Joshua ; Pavlovic, Dusko ; Sobocinski, Pawel

    Abstract | Document (819 KB) | BibTeX

    Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages
    Authors: Kappé, Tobias ; Brunet, Paul ; Luttik, Bas ; Silva, Alexandra ; Zanasi, Fabio

    Abstract | Document (576 KB) | BibTeX

    Algebraic Laws for Weak Consistency
    Authors: Cerone, Andrea ; Gotsman, Alexey ; Yang, Hongseok

    Abstract | Document (663 KB) | BibTeX

    Algorithms to Compute Probabilistic Bisimilarity Distances for Labelled Markov Chains
    Authors: Tang, Qiyi ; van Breugel, Franck

    Abstract | Document (500 KB) | BibTeX

    On Decidability of Concurrent Kleene Algebra
    Authors: Brunet, Paul ; Pous, Damien ; Struth, Georg

    Abstract | Document (592 KB) | BibTeX

    Model-Checking Counting Temporal Logics on Flat Structures
    Authors: Decker, Normann ; Habermehl, Peter ; Leucker, Martin ; Sangnier, Arnaud ; Thoma, Daniel

    Abstract | Document (712 KB) | BibTeX

    Concurrent Reversible Sessions
    Authors: Castellani, Ilaria ; Dezani-Ciancaglini, Mariangiola ; Giannini, Paola

    Abstract | Document (769 KB) | BibTeX

    Unbounded Product-Form Petri Nets
    Authors: Bouyer, Patricia ; Haddad, Serge ; Jugé, Vincent

    Abstract | Document (592 KB) | BibTeX

    Efficient Coalgebraic Partition Refinement
    Authors: Dorsch, Ulrich ; Milius, Stefan ; Schröder, Lutz ; Wißmann, Thorsten

    Abstract | Document (632 KB) | BibTeX

    The Complexity of Flat Freeze LTL
    Authors: Bollig, Benedikt ; Quaas, Karin ; Sangnier, Arnaud

    Abstract | Document (613 KB) | BibTeX

    Higher-Order Linearisability
    Authors: Murawski, Andrzej S. ; Tzevelekos, Nikos

    Abstract | Document (828 KB) | BibTeX

    Model Checking Omega-regular Properties for Quantum Markov Chains
    Authors: Feng, Yuan ; Hahn, Ernst Moritz ; Turrini, Andrea ; Ying, Shenggang

    Abstract | Document (575 KB) | BibTeX

    Uniform Sampling for Networks of Automata
    Authors: Basset, Nicolas ; Mairesse, Jean ; Soria, Michèle

    Abstract | Document (610 KB) | BibTeX

    Tractability of Separation Logic with Inductive Definitions: Beyond Lists
    Authors: Chen, Taolue ; Song, Fu ; Wu, Zhilin

    Abstract | Document (671 KB) | BibTeX

    Data Multi-Pushdown Automata
    Authors: Abdulla, Parosh Aziz ; Aiswarya, C. ; Atig, Mohamed Faouzi

    Abstract | Document (675 KB) | BibTeX

    Towards an Efficient Tree Automata Based Technique for Timed Systems
    Authors: Akshay, S. ; Gastin, Paul ; Krishna, Shankara Narayanan ; Sarkar, Ilias

    Abstract | Document (952 KB) | BibTeX

    On Petri Nets with Hierarchical Special Arcs
    Authors: Akshay, S. ; Chakraborty, Supratik ; Das, Ankush ; Jagannath, Vishal ; Sandeep, Sai

    Abstract | Document (614 KB) | BibTeX

      




    DROPS-Home | Fulltext Search | Imprint Published by LZI