Slide 11 Ivan Lanese Computer Science Department University of Bologna Italy Types for deadlock avoidance in SSCC Slide 2 What is SSCC? l SCC (Service Centered Calculus)…