Perspectives in Concurrency

Informationen zum Autor Lodaya\, Kamal; Mukund\, Madhavan Concurrency theory is an important research area within theoretical computer science. This book provides an overview of current research in concurrency through state-of-the-art contributions from worldwide experts. Zusammenfassung 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.

Product details

• Authors: Kamal Lodaya, Kamal Lodaya, Kamal (Institute of Mathematical Science Lodaya, Kamal Mukund Lodaya, Lodaya Kamal
• Assisted by: Kamal Lodaya (Editor), Kamal (Institute of Mathematical Science Lodaya (Editor), Lodaya Kamal (Editor), Madhavan Mukund (Editor), Madhavan (Institute of Mathematical Science Mukund (Editor), Mukund Madhavan (Editor)
• Publisher: Taylor & Francis Ltd.
• Languages: English
• Product format: Hardback
• Released: 15.04.2009
• EAN: 9781439809433
• ISBN: 978-1-4398-0943-3
• No. of pages: 512
• Subjects: Natural sciences, medicine, IT, technology > Mathematics > Miscellaneous; COMPUTERS / General, COMPUTERS / Information Theory, MATHEMATICS / General, MATHEMATICS / Applied, COMPUTERS / Programming / Games, computer science, Applied mathematics, Information technology: general issues, Information technology: general topics