advanced concurrency verification methods
Category=PBW
Category=UB
Category=UY
computational trust
eq_bestseller
eq_computing
eq_isMigrated=1
eq_isMigrated=2
eq_nobargain
eq_non-fiction
event structures
formal specification
model checking
synchronisation protocols
timed automata
Product details
- ISBN 9781439809433
- Weight: 1034g
- Dimensions: 156 x 234mm
- Publication Date: 15 Apr 2009
- Publisher: Taylor & Francis Inc
- Publication City/Country: US
- Product Form: Hardback
Secure
checkout
Fast Shipping
Easy returns
Concurrency theory is an important research area within theoretical computer science, with applications in parallel and distributed computing. This book provides an overview of current research in concurrency through state-of-the-art contributions from worldwide experts. Covering contemporary topics, including Petri Nets, Temporal Logics, Program Verification with concurrent threads, Computational Trust, and more, this book presents emerging research in this important field.
Kamal Lodaya, Madhavan Mukund and R Ramanujam, Institute of Mathematical Sciences, Chennai.
