This book gives applications of the theory of process algebra, or
Algebra of Communicating Processes (ACP), that is the study of
concurrent or communicating processes studied using an algebraic
framework. The approach is axiomatic; the authors consider
structures that are some set of mostly equational axioms, which are
equipped with several operators. Thus the term 'algebra' is used in
the model-theoretic sense. The axiomatic approach enables one to
organize the field of process theories. The theory is applied
systematically to a number of situations, including systolic
algorithms, semantics of an object-oriented language, and
protocols. It will be welcomed by computer scientists working in
parallel programming.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!