A minimal property for characterizing deadlock-free programs
Vicent Cholvi, Pablo BoronatVolume:
77
Year:
2001
Language:
english
Pages:
8
DOI:
10.1016/s0020-0190(00)00158-7
File:
PDF, 137 KB
english, 2001