Programming Distributed Computing Systems by Carlos A. Varela

' Programming Distributed Computing Systems fills the long-standing need for a self-contained account of distributed programming that combines presentation of underlying formal semantic models along with the design and use of distributed languages and frameworks based upon them. I highly recommend Varela's book to all developers and researchers who are looking for better ways to express their distributed thoughts!'ĭoug Lea, Computer Science Department, State University of New York at Oswego It uses three languages to cover a full spectrum of distributed abstractions. Carlos Varela's book makes a big step toward remedying this situation. But it remains a difficult skill to master, both conceptually and practically. 'With the explosive growth of the Internet in the twenty-first century, distributed programming is at the very heart of today's digital society. Once the theory is understood, the practical part of implementing a system in an actual programming language becomes much easier.Įndorsements Peter Van Roy, Professor at Université catholique de Louvain, Louvain-la-Neuve, Belgium By presenting theory first, the book allows readers to focus on the essential components of concurrency, distribution, and mobility without getting bogged down in syntactic details of specific programming languages. It can be used as a textbook for graduate and advanced undergraduate students in computer science or as a reference for researchers in the area of programming technology for distributed computing. The book is unique in bridging the gap between the theory and the practice of programming distributed computing systems. 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 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. 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.

Programming Distributed Computing Systems by Carlos A. Varela