Cover Image

Handbook of process algebra /

Show other versions (2)

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

Similar Items