Introduction to Choreographies
-10%
portes grátis
Introduction to Choreographies
Montesi, Fabrizio
Cambridge University Press
05/2023
253
Dura
Inglês
9781108833769
15 a 20 dias
Descrição não disponível.
Introduction: Alice, Bob, concurrency, and distribution; This book; Part I. Foundations: Introduction to Part I; 1. Inference systems; 2. Simple choreographies; 3. Simple processes; 4. Endpoint projection; Part II. Computation: Introduction to Part II; 5. Memory and local computation; 6. Conditionals and knowledge of choice; 7. Recursion; 8. Properties of choreographies and endpoint projection; Part III. Extensions and Variations: Introduction to Part III; 9. Conservative extensions; 10. Choreographic choice; 11. Asynchronous communication; 12. Discussion and further reading; Solutions to selected exercises; Bibliography; Index.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Introduction: Alice, Bob, concurrency, and distribution; This book; Part I. Foundations: Introduction to Part I; 1. Inference systems; 2. Simple choreographies; 3. Simple processes; 4. Endpoint projection; Part II. Computation: Introduction to Part II; 5. Memory and local computation; 6. Conditionals and knowledge of choice; 7. Recursion; 8. Properties of choreographies and endpoint projection; Part III. Extensions and Variations: Introduction to Part III; 9. Conservative extensions; 10. Choreographic choice; 11. Asynchronous communication; 12. Discussion and further reading; Solutions to selected exercises; Bibliography; Index.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
