CONCUR 2018 September 4-7, 2018 - Beijing, China

29th International Conference on Concurrency Theory (CONCUR 2018)



Sven Schewe and Lijun Zhang (Eds.)
ISBN 978-3-95977-087-3, LIPICS Vol. 118 ISSN 1868-8969
Additional Information
License
Conference Website
Complete volume (PDF, 21 MB)
Search Publication Server

Authors
  • Abdulla, Parosh Aziz
  • Aceto, Luca
  • Almagor, Shaull
  • Atig, Mohamed Faouzi
  • Balzer, Stephanie
  • Bartoletti, Massimo
  • Blondin, Michael
  • Bocchi, Laura
  • Bollig, Benedikt
  • Bonchi, Filippo
  • Bouajjani, Ahmed
  • Brengos, Tomasz
  • Bruyère, Véronique
  • Cabrera, Benjamin
  • Cassar, Ian
  • Chapman, Brynmor
  • Chatterjee, Krishnendu
  • Ciobanu, Radu
  • Condurache, Rodica
  • Czerwinski, Wojciech
  • Deng, Yuxin
  • Donaldson, Alastair F.
  • Doumane, Amina
  • Esparza, Javier
  • Evrard, Hugues
  • Fortin, Marie
  • Fournier, Paulin
  • Francalanza, Adrian
  • Ganty, Pierre
  • Gastin, Paul
  • Gimbert, Hugo
  • Goncharov, Sergey
  • Gorlin, Andrey
  • Grigore, Radu
  • Haase, Christoph
  • Hasuo, Ichiro
  • Hautem, Quentin
  • Heckel, Reiko
  • Heindel, Tobias
  • Henzinger, Thomas A.
  • Hofman, Piotr
  • Hosseini, Mehran
  • Ibsen-Jensen, Rasmus
  • Ingólfsdóttir, Anna
  • Jagannathan, Suresh
  • Jakob, Julian
  • Kafshdar Goharshady, Amir
  • Kiefer, Stefan
  • Konnov, Igor
  • Kragl, Bernhard
  • Kretínský, Jan
  • Krishna, Shankara Narayanan
  • Kucera, Antonín
  • Kukovec, Jure
  • König, Barbara
  • Lasota, Slawomir
  • Madnani, Khushraj
  • Majumdar, Rupak
  • Mayr, Richard
  • Mazowiecki, Filip
  • Meyer, Roland
  • Michaliszyn, Jakub
  • Mika-Michalski, Christina
  • Mukherjee, Sayan
  • Murgia, Maurizio
  • Muskalla, Sebastian
  • Nagar, Kartik
  • Narayan Kumar, K.
  • Neves, Renato
  • Otop, Jan
  • Ouaknine, Joël
  • Oualhadj, Youssouf
  • Pandya, Paritosh K.
  • Petrisan, Daniela
  • Pfenning, Frank
  • Polyakov, Andy
  • Pous, Damien
  • Prabhakar, Pavithra
  • Pérez, Guillermo A.
  • Qadeer, Shaz
  • Ramakrishnan, C. R.
  • Raskin, Jean-François
  • Roohi, Nima
  • Rosenke, Christian
  • Rotar, Alexej
  • Saivasan, Prakash
  • Schewe, Sven
  • Sorensen, Tyler
  • Srivathsan, B.
  • Tang, Qiyi
  • Toninho, Bernardo
  • Totzke, Patrick
  • Tredup, Ronny
  • Troquard, Nicolas
  • Tsai, Ming-Hsien
  • van Breugel, Franck
  • van Glabbeek, Rob
  • Vardi, Moshe Y.
  • Velner, Yaron
  • Viswanathan, Mahesh
  • Wang, Bow-Yaw
  • Weil-Kennedy, Chana
  • Widder, Josef
  • Worrell, James
  • Yang, Bo-Yin
  • Zetzsche, Georg
  • Zhang, Lijun
    		•

    		  
    Front Matter, Table of Contents, Preface, Conference Organization
    Authors: Schewe, Sven ; Zhang, Lijun

    Abstract | Document (321 KB) | BibTeX

    The Siren Song of Temporal Synthesis (Invited Talk)
    Authors: Vardi, Moshe Y.

    Abstract | Document (254 KB) | BibTeX

    Bisimulations for Probabilistic and Quantum Processes (Invited Paper)
    Authors: Deng, Yuxin

    Abstract | Document (511 KB) | BibTeX

    Is Speed-Independent Mutual Exclusion Implementable? (Invited Talk)
    Authors: van Glabbeek, Rob

    Abstract | Document (157 KB) | BibTeX

    Verifying Arithmetic Assembly Programs in Cryptographic Primitives (Invited Talk)
    Authors: Polyakov, Andy ; Tsai, Ming-Hsien ; Wang, Bow-Yaw ; Yang, Bo-Yin

    Abstract | Document (505 KB) | BibTeX

    Coalgebraic Theory of Büchi and Parity Automata: Fixed-Point Specifications, Categorically (Invited Tutorial)
    Authors: Hasuo, Ichiro

    Abstract | Document (226 KB) | BibTeX

    Universal Safety for Timed Petri Nets is PSPACE-complete
    Authors: Abdulla, Parosh Aziz ; Atig, Mohamed Faouzi ; Ciobanu, Radu ; Mayr, Richard ; Totzke, Patrick

    Abstract | Document (456 KB) | BibTeX

    It Is Easy to Be Wise After the Event: Communicating Finite-State Machines Capture First-Order Logic with "Happened Before"
    Authors: Bollig, Benedikt ; Fortin, Marie ; Gastin, Paul

    Abstract | Document (580 KB) | BibTeX

    Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints
    Authors: Kretínský, Jan ; Pérez, Guillermo A. ; Raskin, Jean-François

    Abstract | Document (537 KB) | BibTeX

    Deciding Probabilistic Bisimilarity Distance One for Probabilistic Automata
    Authors: Tang, Qiyi ; van Breugel, Franck

    Abstract | Document (446 KB) | BibTeX

    Non-deterministic Weighted Automata on Random Words
    Authors: Michaliszyn, Jakub ; Otop, Jan

    Abstract | Document (475 KB) | BibTeX

    Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies
    Authors: Chatterjee, Krishnendu ; Kafshdar Goharshady, Amir ; Ibsen-Jensen, Rasmus ; Velner, Yaron

    Abstract | Document (1,053 KB) | BibTeX

    Bounded Context Switching for Valence Systems
    Authors: Meyer, Roland ; Muskalla, Sebastian ; Zetzsche, Georg

    Abstract | Document (497 KB) | BibTeX

    Alternating Nonzero Automata
    Authors: Fournier, Paulin ; Gimbert, Hugo

    Abstract | Document (543 KB) | BibTeX

    Affine Extensions of Integer Vector Addition Systems with States
    Authors: Blondin, Michael ; Haase, Christoph ; Mazowiecki, Filip

    Abstract | Document (661 KB) | BibTeX

    Verifying Quantitative Temporal Properties of Procedural Programs
    Authors: Atig, Mohamed Faouzi ; Bouajjani, Ahmed ; Narayan Kumar, K. ; Saivasan, Prakash

    Abstract | Document (507 KB) | BibTeX

    Narrowing down the Hardness Barrier of Synthesizing Elementary Net Systems
    Authors: Tredup, Ronny ; Rosenke, Christian

    Abstract | Document (490 KB) | BibTeX

    Up-To Techniques for Behavioural Metrics via Fibrations
    Authors: Bonchi, Filippo ; König, Barbara ; Petrisan, Daniela

    Abstract | Document (537 KB) | BibTeX

    Completeness for Identity-free Kleene Lattices
    Authors: Doumane, Amina ; Pous, Damien

    Abstract | Document (581 KB) | BibTeX

    Reachability in Parameterized Systems: All Flavors of Threshold Automata
    Authors: Kukovec, Jure ; Konnov, Igor ; Widder, Josef

    Abstract | Document (578 KB) | BibTeX

    Selective Monitoring
    Authors: Grigore, Radu ; Kiefer, Stefan

    Abstract | Document (537 KB) | BibTeX

    Synchronizing the Asynchronous
    Authors: Kragl, Bernhard ; Qadeer, Shaz ; Henzinger, Thomas A.

    Abstract | Document (723 KB) | BibTeX

    A Semantics for Hybrid Iteration
    Authors: Goncharov, Sergey ; Jakob, Julian ; Neves, Renato

    Abstract | Document (608 KB) | BibTeX

    GPU Schedulers: How Fair Is Fair Enough?
    Authors: Sorensen, Tyler ; Evrard, Hugues ; Donaldson, Alastair F.

    Abstract | Document (564 KB) | BibTeX

    Linear Equations with Ordered Data
    Authors: Hofman, Piotr ; Lasota, Slawomir

    Abstract | Document (561 KB) | BibTeX

    A Coalgebraic Take on Regular and omega-Regular Behaviour for Systems with Internal Moves
    Authors: Brengos, Tomasz

    Abstract | Document (548 KB) | BibTeX

    Relating Syntactic and Semantic Perturbations of Hybrid Automata
    Authors: Roohi, Nima ; Prabhakar, Pavithra ; Viswanathan, Mahesh

    Abstract | Document (538 KB) | BibTeX

    Updating Probabilistic Knowledge on Condition/Event Nets using Bayesian Networks
    Authors: Cabrera, Benjamin ; Heindel, Tobias ; Heckel, Reiko ; König, Barbara

    Abstract | Document (1,092 KB) | BibTeX

    Reachability in Timed Automata with Diagonal Constraints
    Authors: Gastin, Paul ; Mukherjee, Sayan ; Srivathsan, B.

    Abstract | Document (544 KB) | BibTeX

    Parameterized complexity of games with monotonically ordered omega-regular objectives
    Authors: Bruyère, Véronique ; Hautem, Quentin ; Raskin, Jean-François

    Abstract | Document (549 KB) | BibTeX

    A Universal Session Type for Untyped Asynchronous Communication
    Authors: Balzer, Stephanie ; Pfenning, Frank ; Toninho, Bernardo

    Abstract | Document (661 KB) | BibTeX

    Verification of Immediate Observation Population Protocols
    Authors: Esparza, Javier ; Ganty, Pierre ; Majumdar, Rupak ; Weil-Kennedy, Chana

    Abstract | Document (546 KB) | BibTeX

    The Satisfiability Problem for Unbounded Fragments of Probabilistic CTL
    Authors: Kretínský, Jan ; Rotar, Alexej

    Abstract | Document (522 KB) | BibTeX

    Automatic Analysis of Expected Termination Time for Population Protocols
    Authors: Blondin, Michael ; Esparza, Javier ; Kucera, Antonín

    Abstract | Document (642 KB) | BibTeX

    On Runtime Enforcement via Suppressions
    Authors: Aceto, Luca ; Cassar, Ian ; Francalanza, Adrian ; Ingólfsdóttir, Anna

    Abstract | Document (568 KB) | BibTeX

    Regular Separability of Well-Structured Transition Systems
    Authors: Czerwinski, Wojciech ; Lasota, Slawomir ; Meyer, Roland ; Muskalla, Sebastian ; Narayan Kumar, K. ; Saivasan, Prakash

    Abstract | Document (543 KB) | BibTeX

    Separable GPL: Decidable Model Checking with More Non-Determinism
    Authors: Gorlin, Andrey ; Ramakrishnan, C. R.

    Abstract | Document (521 KB) | BibTeX

    (Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras
    Authors: König, Barbara ; Mika-Michalski, Christina

    Abstract | Document (527 KB) | BibTeX

    The Complexity of Rational Synthesis for Concurrent Games
    Authors: Condurache, Rodica ; Oualhadj, Youssouf ; Troquard, Nicolas

    Abstract | Document (493 KB) | BibTeX

    Logics Meet 1-Clock Alternating Timed Automata
    Authors: Krishna, Shankara Narayanan ; Madnani, Khushraj ; Pandya, Paritosh K.

    Abstract | Document (775 KB) | BibTeX

    Progress-Preserving Refinements of CTA
    Authors: Bartoletti, Massimo ; Bocchi, Laura ; Murgia, Maurizio

    Abstract | Document (646 KB) | BibTeX

    Automated Detection of Serializability Violations Under Weak Consistency
    Authors: Nagar, Kartik ; Jagannathan, Suresh

    Abstract | Document (608 KB) | BibTeX

    Effective Divergence Analysis for Linear Recurrence Sequences
    Authors: Almagor, Shaull ; Chapman, Brynmor ; Hosseini, Mehran ; Ouaknine, Joël ; Worrell, James

    Abstract | Document (544 KB) | BibTeX

    		  



    DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI