On the derivation of a correct deadlock free communication kernel for loop connected message passing architecture from its user's specification

✍ Scribed by A.K Bandyopadhyay; J Bandyopadhyay

• Publisher: Elsevier Science
• Year: 2000
• Tongue: English
• Weight: 88 KB
• Volume: 46
• Category: Article
• ISSN: 1383-7621
• DOI: 10.1016/s1383-7621(00)00024-2