On the derivation of a correct deadlock free communication kernel for loop connected message passing architecture from its user's specification. - A. K. Bandyopadhyay 001; J. Bandyopadhyay (J. Syst. Archit., 2000)