A. K. Bandyopadhyay, J. Bandyopadhyay. On the derivation of a correct deadlock free communication kernel for loop connected message passing architecture from its user s specification. Journal of Systems Architecture, 46(13):1257-1261, 2000. [doi]
@article{BandyopadhyayB00, title = {On the derivation of a correct deadlock free communication kernel for loop connected message passing architecture from its user s specification}, author = {A. K. Bandyopadhyay and J. Bandyopadhyay}, year = {2000}, doi = {10.1016/S1383-7621(00)00024-2}, url = {http://dx.doi.org/10.1016/S1383-7621(00)00024-2}, tags = {architecture}, researchr = {https://researchr.org/publication/BandyopadhyayB00}, cites = {0}, citedby = {0}, journal = {Journal of Systems Architecture}, volume = {46}, number = {13}, pages = {1257-1261}, }