000 -LEADER |
fixed length control field |
a |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
fixed length control field |
240427b xxu||||| |||| 00| 0 eng d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9781108833769 |
Terms of availability |
hbk |
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER |
Classification number |
792.82 |
Item number |
MON |
100 ## - MAIN ENTRY--PERSONAL NAME |
Personal name |
Montesi, Fabrizio |
245 ## - TITLE STATEMENT |
Title |
Introduction to choreographies |
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
Name of publisher, distributor, etc |
Cambridge University Press, |
Date of publication, distribution, etc |
2023 |
Place of publication, distribution, etc |
Cambridge : |
300 ## - PHYSICAL DESCRIPTION |
Extent |
viii,228 p. ; |
Other physical details |
ill., |
Dimensions |
26 cm |
365 ## - TRADE PRICE |
Price amount |
49.99 |
Price type code |
£ |
Unit of pricing |
110.10 |
504 ## - BIBLIOGRAPHY, ETC. NOTE |
Bibliography, etc |
Includes bibliographical references and index. |
520 ## - SUMMARY, ETC. |
Summary, etc |
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 |
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Choreography Philosophy |
|
Topical term or geographic name as entry element |
Communication |
|
Topical term or geographic name as entry element |
Endpoint projection |
|
Topical term or geographic name as entry element |
Procedure definitions |
|
Topical term or geographic name as entry element |
Process projection |
942 ## - ADDED ENTRY ELEMENTS (KOHA) |
Source of classification or shelving scheme |
|
Item type |
Books |