Deriving deadlock and unspecified reception free protocol converters from message mapping sets
Mohammad Peyravian, Chin-Tau LeaVolume:
28
Year:
1996
Language:
english
Pages:
14
DOI:
10.1016/0169-7552(96)00008-6
File:
PDF, 1.41 MB
english, 1996