TY - BOOK AU - Bergstra,J.A. AU - Ponse,Alban AU - Smolka,Scott A. TI - Handbook of process algebra SN - 0444828303 (papel alcalino) AV - QA267 H354 U1 - 511.3 21 PY - 2001/// CY - Amsterdam PB - Elsevier KW - Teoría de las máquinas KW - Procesamiento paralelo (Computadoras electrónicas) ER -