Handbook of process algebra /

Process Algebra is a formal description technique for complex computer systems, especially those involving communicating, concurrently executing components. It is a subject that concurrently touches many topic areas of computer science and discrete math, including system design notations, logic, con...

Full description

Bibliographic Details

Corporate Author:	ScienceDirect (Online service)
Other Authors:	Bergstra, J. A., Ponse, A. (Alban), 1955-, Smolka, Scott A.
Format:	eBook
Language:	English
Published:	Amsterdam ; New York : Elsevier, 2001.
Edition:	1st ed.
Subjects:	Machine theory. Parallel processing (Electronic computers) Théorie des automates. Parallélisme (Informatique) MATHEMATICS > Infinity. MATHEMATICS > Logic. Machine theory Prozessalgebra Técnicas de programação. Electronic books.
Online Access:	Connect to the full text of this electronic book