P. Pramanik;P. K. Das;A. K. Bandyopadhyay;D. Q. M. Fay
-;-;-;-
Some investigations on deadlock freedom issues of a cyclically connected system using Dijkstra's weakest precondition calculus
ACM SIGPLAN Notices