An Efficient Technique for Deadlock Analysis of Large Scale Process Networks.

J. M. R. Martin, S. A. Jassim

Browse the full FM paper archive.