Programming distributed computing systems: a foundational approach
(Book)

Book Cover
Published:
Cambridge, MA : The MIT Press, 2013.
Format:
Book
Physical Desc:
xvi, 271 pages : illustration ; 24 cm.
Status:
ASU Main (3rd floor)
QA76.9.D5 V374 2013
Copies
Location
Call Number
Status
ASU Main (3rd floor)
QA76.9.D5 V374 2013
On Shelf
Citations
APA Citation (style guide)

Varela, C. A. (2013). Programming distributed computing systems: a foundational approach. Cambridge, MA: The MIT Press.

Chicago / Turabian - Author Date Citation (style guide)

Varela, Carlos A. 2013. Programming Distributed Computing Systems: A Foundational Approach. Cambridge, MA: The MIT Press.

Chicago / Turabian - Humanities Citation (style guide)

Varela, Carlos A, Programming Distributed Computing Systems: A Foundational Approach. Cambridge, MA: The MIT Press, 2013.

MLA Citation (style guide)

Varela, Carlos A. Programming Distributed Computing Systems: A Foundational Approach. Cambridge, MA: The MIT Press, 2013. Print.

Note! Citation formats are based on standards as of July 2010. Citations contain only title, author, edition, publisher, and year published. Citations should be used as a guideline and should be double checked for accuracy.
Description

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.

Also in This Series
More Like This
More Details
Language:
English
ISBN:
9780262018982, 0262018985

Notes

Bibliography
Includes bibliographical references (pages 259-266) and index.
More Copies In Prospector
Loading Prospector Copies...
Staff View
Grouped Work ID:
5801e4a9-0646-d29a-e9e3-9dfe15d1619c
Go To GroupedWork

Record Information

Last File Modification TimeJun 04, 2019 02:23:15 AM
Last Grouped Work Modification TimeJun 04, 2019 01:06:49 AM

MARC Record

LEADER04061cam a2200517 a 4500
001ocn813540891
003OCoLC
00520140624071656.0
008121218s2013    maua     b    001 0 eng  
010 |a 2012038059
0167 |a 016283992|2 Uk
020 |a 9780262018982|q hardcover|q alkaline paper
020 |a 0262018985|q hardcover|q alkaline paper
020 |z 9780262317306 (electronic bk.)
035 |a (OCoLC)813540891
040 |a DLC|b eng|c DLC|d YDXCP|d BTCTA|d OCLCO|d BDX|d UKMGB|d CDX|d BWX|d CUI|d OCLCF|d MYG|d ZLM|d CLZ
042 |a pcc
049 |a CLZA
05000|a QA76.9.D5|b V374 2013
066 |c (S
08200|a 005.2/76|2 23
1001 |a Varela, Carlos A.|0 http://id.loc.gov/authorities/names/n2012077779.
24510|a Programming distributed computing systems :|b a foundational approach /|c Carlos A. Varela.
264 1|a Cambridge, MA :|b The MIT Press,|c 2013.
300 |a xvi, 271 pages :|b illustration ;|c 24 cm.
336 |a text|b txt|2 rdacontent.
337 |a unmediated|b n|2 rdamedia.
338 |a volume|b nc|2 rdacarrier.
504 |a Includes bibliographical references (pages 259-266) and index.
650 0|a Electronic data processing|x Distributed processing.|0 http://id.loc.gov/authorities/subjects/sh85042293.
650 0|a Parallel programming (Computer science)|0 http://id.loc.gov/authorities/subjects/sh85097827.
650 0|a Programming languages (Electronic computers)|0 http://id.loc.gov/authorities/subjects/sh85107313.
650 7|a Electronic data processing|x Distributed processing.|2 fast|0 (OCoLC)fst00906987.
650 7|a Parallel programming (Computer science)|2 fast|0 (OCoLC)fst01052939.
650 7|a Programming languages (Electronic computers)|2 fast|0 (OCoLC)fst01078704.
77608|i Online version:|a Varela, Carlos A.|t Programming distributed computing systems.|d Cambridge, MA : The MIT Press, 2013|z 9780262317306.
880 |6 520-00/(S|a "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." -- Publisher's description.
907 |a .b42369897|b as |c -|d 140624|e 190603
998 |a as|b 140624|c m|d a |e -|f eng|g mau|h 0|i 0
948 |a MARCIVE Comprehensive 05/2019
948 |a MARCIVE August, 2017
948 |a MARCIVE extract Aug 5, 2017
994 |a C0|b CLZ
995 |a Loaded with m2btab.ltiac in 2019.05
995 |a Loaded with m2btab.ltiac in 2017.08
989 |a QA76.9.D5 V374 2013|d as |b 1010002124085|e  - - |f  - - |g - |h 0|i 0|j 18|k 140624|l $0.00|m  |n  - - |o -|p 0|q 0|t 0|x 0|1 .i84502204