Jayasri Banerjee, Anup Kumar Bandyopadhyay, Ajit Kumar Mandal. Some investigations on deadlock freedom issues of a cyclically connected system using Dijkstra s weakest precondition calculus. SIGPLAN Notices, 42(5):10-15, 2007. [doi]
No references recorded for this publication.
No citations of this publication recorded.