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:
Online Access:Connect to the full text of this electronic book
Search Result 1
Published 2001
Book