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.

Note! Citation formats are based on standards as of July 2022. 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:
b5e1d67e-e19c-f82a-3bd8-f6c7427ab6c9
Go To GroupedWork

Record Information

Last Sierra Extract TimeMar 06, 2024 12:20:05 AM
Last File Modification TimeMar 06, 2024 12:20:19 AM
Last Grouped Work Modification TimeMar 06, 2024 12:20:13 AM

MARC Record

LEADER04121cam a2200565 a 4500
001813540891
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 https://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 https://id.loc.gov/authorities/subjects/sh85042293
650 0|a Parallel programming (Computer science)|0 https://id.loc.gov/authorities/subjects/sh85097827
650 0|a Programming languages (Electronic computers)|0 https://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
948 |a MARCIVE Comp, in 2022.12
948 |a MARCIVE Comp, 2019.12
948 |a MARCIVE Comp, 2019.05
948 |a MARCIVE August, 2017
948 |a MARCIVE extract Aug 5, 2017
989 |1 .i84502204|b 1010002124085|d as|g -|m |h 0|x 0|t 0|i 0|j 18|k 140625|o -|a QA76.9.D5 V374 2013
994 |a C0|b CLZ
995 |a Loaded with m2btab.ltiac in 2022.12
995 |a Loaded with m2btab.ltiac in 2019.12
995 |a Loaded with m2btab.ltiac in 2019.05
995 |a Loaded with m2btab.ltiac in 2017.08
998 |e -|f eng|a as