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
Spatial ordering of messages in a cyclic architecture
ACM SIGSOFT Software Engineering Notes