Theoretical Computer Science and General Issues

Reachability Problems

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

Editors: Ouaknine, Joel, Potapov, Igor, Worrell, James (Eds.)

Buy this book

eBook $54.99
price for USA (gross)
  • ISBN 978-3-319-11439-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $72.00
price for USA
  • ISBN 978-3-319-11438-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

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.

Table of contents (18 chapters)

  • Complexity Bounds for Ordinal-Based Termination

    Schmitz, Sylvain

    Pages 1-19

  • On The Complexity of Bounded Time Reachability for Piecewise Affine Systems

    Bazille, Hugo (et al.)

    Pages 20-31

  • Reachability and Mortality Problems for Restricted Hierarchical Piecewise Constant Derivatives

    Bell, Paul C. (et al.)

    Pages 32-44

  • Parameterized Verification of Communicating Automata under Context Bounds

    Bollig, Benedikt (et al.)

    Pages 45-57

  • Regular Strategies in Pushdown Reachability Games

    Carayol, A. (et al.)

    Pages 58-71

Buy this book

eBook $54.99
price for USA (gross)
  • ISBN 978-3-319-11439-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $72.00
price for USA
  • ISBN 978-3-319-11438-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Reachability Problems
Book Subtitle
8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings
Editors
  • Joel Ouaknine
  • Igor Potapov
  • James Worrell
Series Title
Theoretical Computer Science and General Issues
Series Volume
8762
Copyright
2014
Publisher
Springer International Publishing
Copyright Holder
Springer International Publishing Switzerland
eBook ISBN
978-3-319-11439-2
DOI
10.1007/978-3-319-11439-2
Softcover ISBN
978-3-319-11438-5
Edition Number
1
Number of Pages
XX, 246
Number of Illustrations and Tables
59 b/w illustrations
Topics