|
Showing 1 - 2 of
2 matches in All Departments
|
Reachability Problems - 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings (Paperback, 1st ed. 2016)
Kim Guldstrand Larsen, Igor Potapov, Jiri Srba
|
R2,145
Discovery Miles 21 450
|
Ships in 10 - 15 working days
|
This book constitutes the refereed proceedings of the 10th
International Workshop on Reachability Problems, RP 2016, held in
Aalborg, Denmark, in September 2016. The 11 full papers presented
together with2 invited papers and 3 abstracts of invited talks were
carefully reviewed and selected from 18 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.
Formal methods is the term used to describe the specification and
verification of software and software systems using mathematical
logic. Various methodologies have been developed and incorporated
into software tools. An important subclass is distributed systems.
There are many books that look at particular methodologies for such
systems, e.g. CSP, process algebra. This book offers a more
balanced introduction for graduate students that describes the
various approaches, their strengths and weaknesses, and when they
are best used. Milner??'s CCS and its operational semantics are
introduced, together with notions of behavioural equivalence based
on bisimulation techniques and with variants of Hennessy-Milner
modal logics. Later in the book, the presented theories are
extended to take timing issues into account. The book has arisen
from various courses taught in Iceland and Denmark and is designed
to give students a broad introduction to the area, with exercises
throughout.
|
You may like...
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
|