Programming distributed computing systems: a foundational approach
(Book)
Author:
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.
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
Record Information
Last Sierra Extract Time | Mar 06, 2024 12:20:05 AM |
---|---|
Last File Modification Time | Mar 06, 2024 12:20:19 AM |
Last Grouped Work Modification Time | Mar 06, 2024 12:20:13 AM |
MARC Record
LEADER | 04121cam a2200565 a 4500 | ||
---|---|---|---|
001 | 813540891 | ||
003 | OCoLC | ||
005 | 20140624071656.0 | ||
008 | 121218s2013 maua b 001 0 eng | ||
010 | |a 2012038059 | ||
016 | 7 | |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 | ||
050 | 0 | 0 | |a QA76.9.D5|b V374 2013 |
066 | |c (S | ||
082 | 0 | 0 | |a 005.2/76|2 23 |
100 | 1 | |a Varela, Carlos A.|0 https://id.loc.gov/authorities/names/n2012077779 | |
245 | 1 | 0 | |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 | |
776 | 0 | 8 | |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 |