LIPIcs, Volume 118, CONCUR 2018

• Sven Schewe and Lijun Zhang LIPIcs, Volume 118, CONCUR'18, Complete Volume 10.4230/LIPIcs.CONCUR.2018
• Sven Schewe and Lijun Zhang Front Matter, Table of Contents, Preface, Conference Organization 10.4230/LIPIcs.CONCUR.2018.0
• Moshe Y. Vardi The Siren Song of Temporal Synthesis (Invited Talk) 10.4230/LIPIcs.CONCUR.2018.1
• Yuxin Deng Bisimulations for Probabilistic and Quantum Processes (Invited Paper) 10.4230/LIPIcs.CONCUR.2018.2
• Rob van Glabbeek Is Speed-Independent Mutual Exclusion Implementable? (Invited Talk) 10.4230/LIPIcs.CONCUR.2018.3
• Andy Polyakov, Ming-Hsien Tsai, Bow-Yaw Wang, and Bo-Yin Yang Verifying Arithmetic Assembly Programs in Cryptographic Primitives (Invited Talk) 10.4230/LIPIcs.CONCUR.2018.4
• Ichiro Hasuo Coalgebraic Theory of Büchi and Parity Automata: Fixed-Point Specifications, Categorically (Invited Tutorial) 10.4230/LIPIcs.CONCUR.2018.5
• Parosh Aziz Abdulla, Mohamed Faouzi Atig, Radu Ciobanu, Richard Mayr, and Patrick Totzke Universal Safety for Timed Petri Nets is PSPACE-complete 10.4230/LIPIcs.CONCUR.2018.6
• Benedikt Bollig, Marie Fortin, and Paul Gastin It Is Easy to Be Wise After the Event: Communicating Finite-State Machines Capture First-Order Logic with "Happened Before" 10.4230/LIPIcs.CONCUR.2018.7
• Jan Kretínský, Guillermo A. Pérez, and Jean-François Raskin Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints 10.4230/LIPIcs.CONCUR.2018.8
• Qiyi Tang and Franck van Breugel Deciding Probabilistic Bisimilarity Distance One for Probabilistic Automata 10.4230/LIPIcs.CONCUR.2018.9
• Jakub Michaliszyn and Jan Otop Non-deterministic Weighted Automata on Random Words 10.4230/LIPIcs.CONCUR.2018.10
• Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, and Yaron Velner Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies 10.4230/LIPIcs.CONCUR.2018.11
• Roland Meyer, Sebastian Muskalla, and Georg Zetzsche Bounded Context Switching for Valence Systems 10.4230/LIPIcs.CONCUR.2018.12
• Paulin Fournier and Hugo Gimbert Alternating Nonzero Automata 10.4230/LIPIcs.CONCUR.2018.13
• Michael Blondin, Christoph Haase, and Filip Mazowiecki Affine Extensions of Integer Vector Addition Systems with States 10.4230/LIPIcs.CONCUR.2018.14
• Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, and Prakash Saivasan Verifying Quantitative Temporal Properties of Procedural Programs 10.4230/LIPIcs.CONCUR.2018.15
• Ronny Tredup and Christian Rosenke Narrowing down the Hardness Barrier of Synthesizing Elementary Net Systems 10.4230/LIPIcs.CONCUR.2018.16
• Filippo Bonchi, Barbara König, and Daniela Petrisan Up-To Techniques for Behavioural Metrics via Fibrations 10.4230/LIPIcs.CONCUR.2018.17
• Amina Doumane and Damien Pous Completeness for Identity-free Kleene Lattices 10.4230/LIPIcs.CONCUR.2018.18
• Jure Kukovec, Igor Konnov, and Josef Widder Reachability in Parameterized Systems: All Flavors of Threshold Automata 10.4230/LIPIcs.CONCUR.2018.19
• Radu Grigore and Stefan Kiefer Selective Monitoring 10.4230/LIPIcs.CONCUR.2018.20
• Bernhard Kragl, Shaz Qadeer, and Thomas A. Henzinger Synchronizing the Asynchronous 10.4230/LIPIcs.CONCUR.2018.21
• Sergey Goncharov, Julian Jakob, and Renato Neves A Semantics for Hybrid Iteration 10.4230/LIPIcs.CONCUR.2018.22
• Tyler Sorensen, Hugues Evrard, and Alastair F. Donaldson GPU Schedulers: How Fair Is Fair Enough? 10.4230/LIPIcs.CONCUR.2018.23
• Piotr Hofman and Slawomir Lasota Linear Equations with Ordered Data 10.4230/LIPIcs.CONCUR.2018.24
• Tomasz Brengos A Coalgebraic Take on Regular and omega-Regular Behaviour for Systems with Internal Moves 10.4230/LIPIcs.CONCUR.2018.25
• Nima Roohi, Pavithra Prabhakar, and Mahesh Viswanathan Relating Syntactic and Semantic Perturbations of Hybrid Automata 10.4230/LIPIcs.CONCUR.2018.26
• Benjamin Cabrera, Tobias Heindel, Reiko Heckel, and Barbara König Updating Probabilistic Knowledge on Condition/Event Nets using Bayesian Networks 10.4230/LIPIcs.CONCUR.2018.27
• Paul Gastin, Sayan Mukherjee, and B. Srivathsan Reachability in Timed Automata with Diagonal Constraints 10.4230/LIPIcs.CONCUR.2018.28
• Véronique Bruyère, Quentin Hautem, and Jean-François Raskin Parameterized complexity of games with monotonically ordered omega-regular objectives 10.4230/LIPIcs.CONCUR.2018.29
• Stephanie Balzer, Frank Pfenning, and Bernardo Toninho A Universal Session Type for Untyped Asynchronous Communication 10.4230/LIPIcs.CONCUR.2018.30
• Javier Esparza, Pierre Ganty, Rupak Majumdar, and Chana Weil-Kennedy Verification of Immediate Observation Population Protocols 10.4230/LIPIcs.CONCUR.2018.31
• Jan Kretínský and Alexej Rotar The Satisfiability Problem for Unbounded Fragments of Probabilistic CTL 10.4230/LIPIcs.CONCUR.2018.32
• Michael Blondin, Javier Esparza, and Antonín Kucera Automatic Analysis of Expected Termination Time for Population Protocols 10.4230/LIPIcs.CONCUR.2018.33
• Luca Aceto, Ian Cassar, Adrian Francalanza, and Anna Ingólfsdóttir On Runtime Enforcement via Suppressions 10.4230/LIPIcs.CONCUR.2018.34
• Wojciech Czerwinski, Slawomir Lasota, Roland Meyer, Sebastian Muskalla, K. Narayan Kumar, and Prakash Saivasan Regular Separability of Well-Structured Transition Systems 10.4230/LIPIcs.CONCUR.2018.35
• Andrey Gorlin and C. R. Ramakrishnan Separable GPL: Decidable Model Checking with More Non-Determinism 10.4230/LIPIcs.CONCUR.2018.36
• Barbara König and Christina Mika-Michalski (Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras 10.4230/LIPIcs.CONCUR.2018.37
• Rodica Condurache, Youssouf Oualhadj, and Nicolas Troquard The Complexity of Rational Synthesis for Concurrent Games 10.4230/LIPIcs.CONCUR.2018.38
• Shankara Narayanan Krishna, Khushraj Madnani, and Paritosh K. Pandya Logics Meet 1-Clock Alternating Timed Automata 10.4230/LIPIcs.CONCUR.2018.39
• Massimo Bartoletti, Laura Bocchi, and Maurizio Murgia Progress-Preserving Refinements of CTA 10.4230/LIPIcs.CONCUR.2018.40
• Kartik Nagar and Suresh Jagannathan Automated Detection of Serializability Violations Under Weak Consistency 10.4230/LIPIcs.CONCUR.2018.41
• Shaull Almagor, Brynmor Chapman, Mehran Hosseini, Joël Ouaknine, and James Worrell Effective Divergence Analysis for Linear Recurrence Sequences 10.4230/LIPIcs.CONCUR.2018.42