id: 00482225
dt: j
an: 00482225
au: Arvind, D. K.
ti: On the detection of communication-related errors in concurrent programs.
so: Parallel Comput. 18, No. 12, 1381-1392 (1992).
py: 1992
pu: Elsevier (North Holland), Amsterdam
la: EN
cc: 
ut: 
ci: 
li: doi:10.1016/0167-8191(92)90127-S