Programming Distributed Computing Systems

Programming Distributed Computing Systems
Author :
Publisher : MIT Press
Total Pages : 291
Release :
ISBN-10 : 9780262313360
ISBN-13 : 0262313367
Rating : 4/5 (60 Downloads)

Book Synopsis Programming Distributed Computing Systems by : Carlos A. Varela

Download or read book Programming Distributed Computing Systems written by Carlos A. Varela and published by MIT Press. This book was released on 2013-05-31 with total page 291 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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. 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. The book then presents programming languages that follow the theoretical models already described, including Pict, SALSA, and JoCaml. 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. 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. 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. Once the theory is understood, the practical part of implementing a system in an actual programming language becomes much easier.


Programming Distributed Computing Systems Related Books

Programming Distributed Computing Systems
Language: en
Pages: 291
Authors: Carlos A. Varela
Categories: Computers
Type: BOOK - Published: 2013-05-31 - Publisher: MIT Press

DOWNLOAD EBOOK

An introduction to fundamental theories of concurrent computation and associated programming languages for developing distributed and mobile computing systems.
Introduction to Reliable and Secure Distributed Programming
Language: en
Pages: 381
Authors: Christian Cachin
Categories: Computers
Type: BOOK - Published: 2011-02-11 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

In modern computing a program is usually distributed among several processes. The fundamental challenge when developing reliable and secure distributed programs
Distributed Algorithms
Language: en
Pages: 242
Authors: Wan Fokkink
Categories: Computers
Type: BOOK - Published: 2013-12-06 - Publisher: MIT Press

DOWNLOAD EBOOK

A comprehensive guide to distributed algorithms that emphasizes examples and exercises rather than mathematical argumentation.
Distributed Services with Go
Language: en
Pages: 328
Authors: Travis Jeffery
Categories: Computers
Type: BOOK - Published: 2021-03-11 - Publisher: Pragmatic Bookshelf

DOWNLOAD EBOOK

This is the book for Gophers who want to learn how to build distributed systems. You know the basics of Go and are eager to put your knowledge to work. Build di
Elements of Distributed Computing
Language: en
Pages: 448
Authors: Vijay K. Garg
Categories: Computers
Type: BOOK - Published: 2002-05-23 - Publisher: John Wiley & Sons

DOWNLOAD EBOOK

Mit der Verfügbarkeit verteilter Systeme wächst der Bedarf an einer fundamentalen Diskussion dieses Gebiets. Hier ist sie! Abgedeckt werden die grundlegenden