VERIFICATION OF SEQUENTIAL AND CONCURRENT PROGRAMS - APT K.R. & OLDEROG E. (NEW YORK : SPRINGER, 1997)
Keywords: CONCURRENT PROGRAMMING : VERIFICATION