A deadlock-free communication kernel for loop connected message passing computer architecture

P Pramanik, AK Bandyopadhyay, DQM Fay - Microprocessing and …, 1990 - Elsevier
A secure message-passing system for multiprocessors is described, and a formal proof of
deadlock prevention is given. The modelling technique is described, with particular …
被引用次数：9 相关文章