Programming distributed computing systems : a foundational approach
Na minha lista:
| Autor principal: | |
|---|---|
| Formato: | Livro |
| Idioma: | inglês |
| Publicado em: |
Cambridge :
MIT Press,
c2013.
|
| Assuntos: |
Sumário:
- 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