책 세부 정보
형식
하드커버
페이지
253
언어
영어
출판됨
Mar 15, 1999
출판사
Imperial College Pr
ISBN-10
1860941540
ISBN-13
9781860941542
설명
In a world where concurrent and distributed processes are integral to technology, this book explores the systems that manage these complex interactions. Written by experts in the field, it delves into type and effect systems that play a pivotal role in ensuring the reliability and efficiency of such processes.
The authors provide a comprehensive guide on how these systems address the challenges of concurrency, making it accessible to both researchers and practitioners. With a focus on practical applications, readers will gain insights into designing robust systems that can gracefully handle the demands of modern computing environments.
By bridging theoretical concepts and real-world implementations, this work serves as a valuable resource for anyone looking to deepen their understanding of concurrency in various technological domains.
The authors provide a comprehensive guide on how these systems address the challenges of concurrency, making it accessible to both researchers and practitioners. With a focus on practical applications, readers will gain insights into designing robust systems that can gracefully handle the demands of modern computing environments.
By bridging theoretical concepts and real-world implementations, this work serves as a valuable resource for anyone looking to deepen their understanding of concurrency in various technological domains.