Handbook of process algebra
By: edited by J.A. Bergstra, A. Ponse, S.A. Smolka.
Contributors: Bergstra, J. A.; Ponse, A. 1955-.; Smolka, Scott A.
Edition: 1st ed.
Publisher: Elsevier
Published: 2001
Place of publication: Amsterdam; New York
Language: eng
Number of pages: 1342
Subjects: Machine theory.; Parallel processing (Electronic computers)
Notes: Includes bibliographical references and indexes.