Cambridge Catalogue  
  • Your account
  • View basket
  • Help
Home > Catalogue > Process Algebra
Process Algebra

Details

  • 20 b/w illus. 10 tables
  • Page extent: 256 pages
  • Size: 247 x 174 mm
  • Weight: 0.591 kg

Library of Congress

  • Dewey number: 511.3
  • Dewey version: 20
  • LC Classification: QA267 .B33 1990
  • LC Subject headings:
    • Machine theory
    • Parallel processing (Electronic computers)

Library of Congress Record

Add to basket

Hardback

 (ISBN-13: 9780521400435 | ISBN-10: 0521400430)

DOI: 10.2277/0521400430

Temporarily unavailable - no date available

 (Stock level updated: 01:59 GMT, 29 August 2015)

£90.00

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.

Contents

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

Review

'… excels as a clear enunciation of a theory developed for analysing communication parallel processes.' International Mathematical News

printer iconPrinter friendly version AddThis