Perspectives in Concurrency

by KamalLodaya (Editor), Madhavan Mukund (Editor)

• New

  Hardcover
  2009

  $49.77

  Concurrency theory is a research area within theoretical computer science, with applications in parallel and distributed computing. This book provides an overview of research in concurrency. It covers contemporary topics, including Petri Nets, Temporal Logics, Program Verification with concurrent threads, Computational Trust, and more.