MODEL AND TEMPORAL PROPERTIES OF PROCESSES - Stirling,Colin (Springer-Verlag, New York, 2001)
Keywords: Computer Logic; Parallel Processing (Electronic Computers)