Articles liés à Introduction to Choreographies
Synopsis
In concurrent and distributed systems, processes can complete tasks together by playing their parts in a joint plan. The plan, or protocol, can be written as a choreography: a formal description of overall behaviour that processes should collaborate to implement, like authenticating a user or purchasing an item online. Formality brings clarity, but not only that: choreographies can contribute to important safety and liveness properties. This book is an ideal introduction to theory of choreographies for students, researchers, and professionals in computer science and applied mathematics. It covers languages for writing choreographies, their semantics, and principles for implementing choreographies correctly. The text treats the study of choreographies as a discipline in its own right, following a systematic approach that starts from simple foundations and proceeds to more advanced features in incremental steps. Each chapter includes examples and exercises aimed at helping with understanding the theory and its relation to practice.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
À propos de l?auteur
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.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 65,83
EUR 6,82 expédition depuis Etats-Unis vers France
Destinations, frais et délaisRésultats de recherche pour Introduction to Choreographies
Image d'archives
Introduction to Choreographies
Edité par
Cambridge University Press, 2023
ISBN 10 : 1108833764
ISBN 13 : 9781108833769
Neuf
Couverture rigide
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur I-9781108833769
Quantité disponible : Plus de 20 disponibles
Image d'archives
Introduction to Choreographies
Edité par
Cambridge University Press, 2023
ISBN 10 : 1108833764
ISBN 13 : 9781108833769
Neuf
Couverture rigide
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Brand New. 253 pages. 10.00x7.00x0.56 inches. In Stock. This item is printed on demand. N° de réf. du vendeur __1108833764
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Introduction to Choreographies
Edité par
Cambridge University Press, 2023
ISBN 10 : 1108833764
ISBN 13 : 9781108833769
Neuf
Couverture rigide
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 45290929-n
Quantité disponible : Plus de 20 disponibles
Image d'archives
Introduction to Choreographies
Edité par
Cambridge University Press, 2023
ISBN 10 : 1108833764
ISBN 13 : 9781108833769
Neuf
Couverture rigide
Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Hardback. Etat : New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 643. N° de réf. du vendeur C9781108833769
Quantité disponible : Plus de 20 disponibles
Image d'archives
Introduction to Choreographies
Edité par
Cambridge University Press, 2023
ISBN 10 : 1108833764
ISBN 13 : 9781108833769
Neuf
Couverture rigide
Vendeur : Best Price, Torrance, CA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. SUPER FAST SHIPPING. N° de réf. du vendeur 9781108833769
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Introduction to Choreographies
Edité par
Cambridge University Press, 2023
ISBN 10 : 1108833764
ISBN 13 : 9781108833769
Neuf
Couverture rigide
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Über den AutorFabrizio 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 Disser. N° de réf. du vendeur 768768800
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Introduction to Choreographies
Edité par
Cambridge University Press, 2023
ISBN 10 : 1108833764
ISBN 13 : 9781108833769
Ancien ou d'occasion
Couverture rigide
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 45290929
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Introduction to Choreographies
Edité par
Cambridge University Press, 2023
ISBN 10 : 1108833764
ISBN 13 : 9781108833769
Neuf
Couverture rigide
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 45290929-n
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Introduction to Choreographies
Edité par
Cambridge University Press, 2023
ISBN 10 : 1108833764
ISBN 13 : 9781108833769
Ancien ou d'occasion
Couverture rigide
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 45290929
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Introduction to Choreographies (Hardcover)
Edité par
Cambridge University Press, Cambridge, 2023
ISBN 10 : 1108833764
ISBN 13 : 9781108833769
Neuf
Couverture rigide
Vendeur : CitiRetail, Stevenage, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : new. Hardcover. In concurrent and distributed systems, processes can complete tasks together by playing their parts in a joint plan. The plan, or protocol, can be written as a choreography: a formal description of overall behaviour that processes should collaborate to implement, like authenticating a user or purchasing an item online. Formality brings clarity, but not only that. Choreographies can contribute to important safety and liveness properties. This book is an ideal introduction to theory of choreographies for students, researchers, and professionals in computer science and applied mathematics. It covers languages for writing choreographies and their semantics, and principles for implementing choreographies correctly. The text treats the study of choreographies as a discipline in its own right, following a systematic approach that starts from simple foundations and proceeds to more advanced features in incremental steps. Each chapter includes examples and exercises aimed at helping with understanding the theory and its relation to practice. 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. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. N° de réf. du vendeur 9781108833769
Quantité disponible : 1 disponible(s)