MARC details
| 000 -LEADER |
|---|
| fixed length control field |
02620nam a2200229Ia 4500 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
NULRC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20250520102819.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
250520s9999 xx 000 0 und d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9780262018982 |
| 040 ## - CATALOGING SOURCE |
|---|
| Transcribing agency |
NULRC |
| 050 ## - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA 76.9.D5 .V37 2013 |
| 100 ## - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Varela, Carlos A. |
| Relator term |
author |
| 245 #0 - TITLE STATEMENT |
|---|
| Title |
Programming distributed computing systems : |
| Remainder of title |
a foundational approach / |
| Statement of responsibility, etc. |
Carlos A. Varela. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. |
|---|
| Place of publication, distribution, etc. |
Cambridge, Massachusetts : |
| Name of publisher, distributor, etc. |
The MIT Press, |
| Date of publication, distribution, etc. |
c2013 |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
xvi, 271 p. : |
| Other physical details |
illustrations ; |
| Dimensions |
24 cm |
| 365 ## - TRADE PRICE |
|---|
| Price amount |
USD40.63 |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc. note |
Includes bibliographical references and index. |
| 505 ## - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
[Lambda] Calculus -- [pi] Calculus -- Actors -- Join Calculus -- Ambient Calculus -- Formalizing Concurrency, Distribution, and Mobility -- Programming with Processes -- Programming with Actors -- Programming with Join Patterns -- Social Networking Example. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
"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."-- Unedited summary from book |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
ELECTRONIC DATA PROCESSING -- DISTRIBUTED PROCESSING |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Source of classification or shelving scheme |
Library of Congress Classification |
| Koha item type |
Books |
