An efficient verification method for parallel and distributed programs
1994 ◽
Vol 52
◽
pp. 608-609