Fewer Monitors and More Efficient Controllability for Deadlock Control in S:::3:::PGR:::2::: (Systems of Simple Sequential Processes with General Resource Requirements)

Daniel Y. Chao. Fewer Monitors and More Efficient Controllability for Deadlock Control in S:::3:::PGR:::2::: (Systems of Simple Sequential Processes with General Resource Requirements). Comput. J., 53(10):1783-1798, 2010. [doi]

Abstract

Abstract is missing.