Slide 1 SPINNER a concurrent language for programming SPIN William Beaver Marc Eaddy Gaurav Khandpur Sangho Shin Slide 2 Outline Motivation for SPINNER Key Features Examples…