Math Logic
Modal and Temporal Properties of Processes
Author:
Stirling, Colin
Isbn 13:
9780387987170
ISBN: 0387987177
Pub Date:
Apr 1, 2001
Publisher:
Springer Verlag
Shipping Weight: 1.50 pounds
Status:
Ships 4-9 days CALL RUSH SHIP
Quantum Price: $46.50
Quantity in Basket: None
In a clear and well-organized presentation, this book introduces concurrent processes as terms of an algebraic language comprising a few basic operators, whose behaviours are described using transitions. This book describes how families of such transitions can be arranged as labeled graphs - themselves concrete summaries of the behavior processes - and how various combinations of processes and their resulting behavior are determined by transition rules. An extensive use of games for both equivalence and model checking provides an approach that is more conceptually clear than generally employeed alternatives.
view
more info, including table of contents
(opens in pop-up window)
