The formalization and analysis of a communications protocol


The MSMIE protocol [SBC89] allows processors in a distributed system to communicate via shared memory. It was designed to meet the reliability and efficiency needs of applications such as nuclear safety systems. We present a formal model of the MSMIE protocol expressed in the notation CCS. Desirable properties of the protocol are expressed in the modal mu… (More)
DOI: 10.1007/BF01211082

2 Figures and Tables


  • Presentations referencing similar topics