The parallel structure of the chapters in both part one (theory) and part two (practice) enable the reader not only to compare the different theories but also to see clearly how a programming language supports a theoretical model.The book is unique in bridging the gap between the theory and the practice of programming distributed computing systems. The book then presents programming languages that follow the theoretical models already described, including Pict, SALSA, and JoCaml. The major theories of concurrent computation-including the π-calculus, the actor model, the join calculus, and mobile ambients-are explained with a focus on how they help design and reason about distributed and mobile computing systems. An introduction to fundamental theories of concurrent computation and associated programming languages for developing distributed and mobile computing systems.Starting from the premise that understanding the foundations of concurrent programming is key to developing distributed computing systems, this book first presents the fundamental theories of concurrent computing and then introduces the programming languages that help develop distributed computing systems at a high level of abstraction.
0 Comments
Leave a Reply. |