Overview
This
book constitutes the refereed proceedings of the 9th International
Workshop on Reachability Problems, RP 2015, held in Warsaw, Poland, in
September 2015. The 14 papers presented together with 6 extended
abstracts in this volume were carefully reviewed and selected from 23
submissions. The papers cover a range of topics in
the field of reachability for infinite 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.
The book, Reachability Problems: 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings (Lecture Notes in Computer Science #9328) [Bulk, Wholesale, Quantity] ISBN#9783319245362 in Paperback by may be ordered in bulk quantities. Minimum starts at 25 copies. Availability based on publisher status and quantity being ordered.
Details
