MODAL AND TEMPORAL PROPERTIES OF PROCESSESS - STIRLING C. (NEW YORK : SPRINGER, 2001)
Keywords: computer logic : parallel processing