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.