Reachability Problems
Springer International Publishing (Verlag)
978-3-319-24536-2 (ISBN)
This book constitutes the refereed proceedings of the 9th InternationalWorkshop 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 inthe 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.
| Erscheinungsdatum | 08.10.2016 |
|---|---|
| Reihe/Serie | Lecture Notes in Computer Science | Theoretical Computer Science and General Issues |
| Zusatzinfo | XX, 179 p. 33 illus. |
| Verlagsort | Cham |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Themenwelt | Informatik ► Software Entwicklung ► User Interfaces (HCI) |
| Mathematik / Informatik ► Informatik ► Theorie / Studium | |
| Schlagworte | Algebraic Structures • Algorithm analysis and problem complexity • Automata Theory • Cellular Automata • communicating automata • Computability and Decidability • computational aspects of algebraic structures • computational aspects of semigroups, groups, and r • computational aspects of semigroups, groups, and rings • Computational Models • computation by abstract devices • Computer Science • counter timed/cellular/communicating automata • dynamical and hybrid systems • Dynamical Systems • formal methods • Hybrid Systems • Logics and meanings of programs • Mathematical logic and formal languages • Petri-nets • Petri Nets • Predictability in Iterative Maps • probabilistic automata • Programming languages, compilers, interpreters • Reachability Analysis • reachability analysis in different computational models • reachability problems in infinite state systems • reachability problems in logic and verification • Rewriting Systems • Software engineering • Software Engineering / Softwareentwicklung • Theory of Computation • timed automata • Undecidable Reachability Problems |
| ISBN-10 | 3-319-24536-8 / 3319245368 |
| ISBN-13 | 978-3-319-24536-2 / 9783319245362 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
