Handbook of process algebra / edited by J. A. Bergstra, A. Ponse, S. A. Smolka . - Amsterdam : Elsevier, cop. 2001 . - XIV, 1342 p. : il.


ISBN 0-444-82830-3 (encadernado).

Computadores
Processamento paralelo
Matemática computacional
Teoria de máquina

CDU 519.61