Compile-time analysis of communicating processesPeter LadkinBarbara Simons1992ICS 1992Conference paper