Reachability Problems
7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings
Abdulla, Parosh Aziz.
editor.
Potapov, Igor.
editor.
SpringerLink (Online service)
text
gw
2013
monographic
eng
access
XII, 223 p. 60 illus. online resource.
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.
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.
edited by Parosh Aziz Abdulla, Igor Potapov.
Computer science
Software engineering
Programming languages (Electronic computers)
Computers
Algorithms
Computer logic
Mathematical logic
Computer Science
Logics and Meanings of Programs
Software Engineering
Mathematical Logic and Formal Languages
Programming Languages, Compilers, Interpreters
Algorithm Analysis and Problem Complexity
Computation by Abstract Devices
QA76.9.L63
QA76.5913
QA76.63
005.1015113
Springer eBooks
Lecture Notes in Computer Science, 8169
9783642410369
http://dx.doi.org/10.1007/978-3-642-41036-9
http://dx.doi.org/10.1007/978-3-642-41036-9
130903
20160413122533.0
sulb-eb0025563