Process Algebra (Cambridge Tracts in Theoretical Computer Science)

Baeten, J. C. M./ Weijland, W. P.

Cambridge Univ Pr（1991/01発売）

ただいまウェブストアではご注文を受け付けておりません。 ⇒古書を探す

製本 Hardcover:ハードカバー版／ページ数 248 p.
言語 ENG
商品コード 9780521400435
DDC分類 511.3

Full Description

This is an introduction to process algebra, also known as the Algebra of Communicating Processes (ACP). It is a self-contained mathematical approach to the theory which can be used for graduate courses, though it also has material of interest to researchers. It is a unique introduction to this model of concurrent programming and will be essential reading for all computer scientists interested in parallel processing and algebraic methods in computer science.

1. Preliminaries; 2. Basic process algebra; 3. Concurrent processes; 4. Communication; 5. Abstraction; 6. Features; 7. Semantics; 8. Sources and related work; Bibliography.