Process algebra

Author(s)

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

Bibliographic Information

Process algebra

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

（Cambridge tracts in theoretical computer science, 18）

Cambridge University Press, 1990

Note

Bibliography: p. 227-234

Includes indexes

Description and Table of Contents

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.

Table of Contents

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

by "Nielsen BookData"

Details

• NCID: BA1102147X
• ISBN:
  • 0521400430
• Country Code: uk
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Cambridge ; New York
• Pages/Volumes: 248 p.
• Size: 26 cm
• Subject Headings:
  • LCSH : Logic, Symbolic and mathematical
  • LCSH : Axioms
• Parent Bibliography ID:
  • BA01121831