Perspectives in Concurrency Contributor(s): Lodaya, Kamal (Editor), Mukund, Madhavan (Editor) |
|
ISBN: 1439809437 ISBN-13: 9781439809433 Publisher: CRC Press OUR PRICE: $56.95 Product Type: Hardcover Published: March 2009 Annotation: 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. |
Additional Information |
BISAC Categories: - Computers | Programming - Games - Mathematics | Applied - Mathematics | Logic |
Dewey: 511.3 |
Physical Information: 484 pages |
Descriptions, Reviews, Etc. |
Publisher Description: 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. |