Programming distributed computing systems : a foundational approach
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cambridge :
MIT Press,
c2013.
|
| Subjects: |
Table of Contents:
- Foreword / Gul Agha
- Preface
- Acknowledgments
- Introduction
- Lambda calculus
- Theoretical models of concurrency, distribution, and mobility
- Pi calculus
- Ambient calculus
- Formalizing concurrency, distribution, and mobility
- Programming languages for distributed and mobile computing
- Programming with process
- Programming with actors
- Programming with join patterns
- Social networking example