Introduction to Choreographies av Fabrizio (University of Southern Denmark) Montesi

I samtidige og distribuerte systemer kan prosesser utføre oppgaver sammen ved å bidra til en felles plan. Denne planen, kjent som en koreografi, er en formell beskrivelse av det samlede atferdsmønsteret som prosessene skal samarbeide om å implementere, for eksempel autentisering av en bruker eller kjøp av en vare på nett. Formaliteten gir ikke bare klarhet, men koreografier kan også spille en avgjørende rolle i å sikre viktige sikkerhets- og leveegenskaper. Denne boken gir en ideell innføring i teorien bak koreografier, og er rettet mot studenter, forskere og fagfolk innen datavitenskap og anvendt matematikk. Den dekker språk for å skrive koreografier, deres semantikk, samt prinsipper for korrekt implementering av disse. Teksten behandler studiet av koreografier som et eget fagområde, og følgesystematisk tilnærming som begynner med enkle fundamenter og progresserer til mer avanserte konsepter i trinnvise steg. Hver kapittel inkluderer eksempler og øvelser som hjelper leseren til å forstå innholdet bedre.