23 OCT 2025 - We are back! If you have been following us over the last few years, you will know that the last 2 months have been rough. We website was practically not loading. Sorry for the mess. We are back though and everything should run smoothly now. New servers. Updated domains. And new owners. We invite you all to start uploading torrents again!
TITLE: PROGRAMMING DISTRIBUTED COMPUTING SYSTEMS: A
FOUNDATIONAL APPROACH
PUBLISHER: THE MIT PRESS LANGUAGE: ENGLISH
LINK: http://is.gd/R1UU9F RELEASE TYPE: RETAIL
FORMAT: PDF RELEASE DATE: 2015.01.28
ISBN: 9780262018982 STORE DATE: 2013
SAVED.MONEY: 38 DOLLAR DISKCOUNT: 01 x 05MB
AUTHOR: CARLOS A. VARELA
BOOK
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
