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