1 Ivan Lanese Computer Science Department University of Bologna Italy Types for deadlock avoidance in SSCC.