TY - BOOK AU - Stirling,Colin TI - MODEL AND TEMPORAL PROPERTIES OF PROCESSES SN - 0387987177 U1 - 004.35 PY - 2001/// CY - PB - Springer-Verlag, New York KW - Computer Logic KW - Parallel Processing (Electronic Computers) ER -