ENGLISH

Reachability Problems: 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings

By Parosh Aziz Abdulla , Igor Potapov (eds.) , Patricia Bouyer , Nicolas Markey , Ocan Sankur (auth.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2013
ISBN
978-3-642-41035-2, 978-3-642-41036-9
DOI
10.1007/978-3-642-41036-9
Language
english
Format
PDF
Filesize
3 MB (3045948 bytes)
Series
Lecture Notes in Computer Science 8169
Edition
1
Pages
223\232
Orientation
yes
Scanned
yes
Time added
2013-09-09 13:04:19
CompilersInterpreters; Algorithm Analysis and Problem ComplLogics and Meanings of Programs; Software Engineer

Description

This book constitutes the refereed proceedings of the 7th International Workshop on Reachability Problems, RP 2013, held in Uppsala, Sweden, in September 2013. The 19 revised papers (The 14 revised papers were carefully reviewed and selected from 24 submissions in addition to 5 invited talks) were carefully reviewed and selected from 24 submissions. Topics of interest include reachability for finite state systems; rewriting systems, reachability analysis in counter/timed/cellular/communicating automata; Petri-nets; computational aspects of semigroups, groups and rings; reachability in dynamical and hybrid systems; frontiers between decidable and undecidable reachability problems; complexity and decidability aspects, predictability in iterative maps and new computational paradigms.

Similar books