Reachability Problems

8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings

  • Joël Ouaknine
  • Igor Potapov
  • James Worrell

Part of the Lecture Notes in Computer Science book series (LNCS, volume 8762)

Table of contents

  1. Front Matter
  2. Hugo Bazille, Olivier Bournez, Walid Gomaa, Amaury Pouly
    Pages 20-31
  3. Benedikt Bollig, Paul Gastin, Jana Schubert
    Pages 45-57
  4. A. Carayol, M. Hague
    Pages 58-71
  5. Stéphane Demri, Amit Kumar Dhar, Arnaud Sangnier
    Pages 85-97
  6. Gilles Geeraerts, Joël Goossens, Amélie Stainer
    Pages 98-111
  7. Christoph Haase, Simon Halfon
    Pages 112-124
  8. Serge Haddad, Benjamin Monmege
    Pages 125-137
  9. Piotr Hofman, Patrick Totzke
    Pages 151-162
  10. Paul Hunter, Guillermo A. Pérez, Jean-François Raskin
    Pages 163-175
  11. Ahmed Mahdi, Bernd Westphal, Martin Fränzle
    Pages 216-229
  12. Julian Rathke, Paweł Sobociński, Owen Stephens
    Pages 230-243
  13. Back Matter

About these proceedings

Introduction

This book constitutes the proceedings of the 8th International Workshop on Reachability Problems, RP 2014, held in Oxford, UK, in September 2014. The 17 papers presented in this volume were carefully reviewed and selected from 25 submissions. The book also contains a paper summarizing the invited talk. The papers offer new approaches for the modelling and analysis of computational processes by combining mathematical, algorithmic, and computational techniques.

Keywords

Petri nets automata theory communicating automata computational aspects of semigroups, groups, and rings computational complexity decidable and undecidable reachability problems dynamical and hybrid systems formal languages formal methods infinite state systems prdictability in iterative maps program analysis reachability analysis rewrite systems rewriting systems software system models theory of computation timed automata

Editors and affiliations

  • Joël Ouaknine
    • 1
  • Igor Potapov
    • 2
  • James Worrell
    • 3
  1. 1.Department of Computer ScienceUniversity of OxfordOxfordUK
  2. 2.Department of Computer ScienceUniversity of LiverpoolLiverpoolUK
  3. 3.Department of Computer ScienceUniversity of OxfordUK

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-11439-2
  • Copyright Information Springer International Publishing Switzerland 2014
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-11438-5
  • Online ISBN 978-3-319-11439-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book