Introduction to Choreographies

List of contents

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.

About the author

Fabrizio Montesi is Professor of Computer Science at the University of Southern Denmark. He is a Villum Young Investigator and recipient of several awards for science and innovation, including the EAPLS Best PhD Dissertation Award and the Best Thesis in ICT Award from the General Confederation of Italian Industry.

Summary

This is the first rigorous and systematic treatment of choreographies, an increasingly central topic in the development of computer systems based on communication. With numerous examples and exercises throughout, this is an ideal introductory text for students, researchers, and professionals in computer science and applied mathematics.

Foreword

The first rigorous and systematic treatment of choreographies: formal coordination plans for concurrent and distributed systems.

Product details

• Authors: Fabrizio Montesi, Fabrizio (University of Southern Denmark) Montesi
• Publisher: Cambridge University Press ELT
• Languages: English
• Product format: Hardback
• Released: 30.04.2023
• EAN: 9781108833769
• ISBN: 978-1-108-83376-9
• No. of pages: 253
• Subjects: Natural sciences, medicine, IT, technology > IT, data processing > Programming languages; Social sciences, law, business > Media, communication > Communication science; Software Engineering, COMPUTERS / Computer Science, COMPUTERS / Information Theory, COMPUTERS / Software Development & Engineering / General, computer science, Information theory