Introduction to Choreographies

Fabrizio Montesi

Bog | Engelsk

Beskrivelse

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 im…