Programming distributed computing systems : a foundational approach
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Libro |
| Lenguaje: | Inglés |
| Publicado: |
Cambridge :
MIT Press,
c2013.
|
| Materias: | |
| Aporte de: | Registro referencial: Solicitar el recurso aquí |
Tabla de Contenidos:
- 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