Process Algebra
Published on 25. October 1990
Book
Hardback
256 pages
978-0-521-40043-5 (ISBN)
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.
Reviews / Votes
'... excels as a clear enunciation of a theory developed for analysing communication parallel processes.' International Mathematical NewsMore details
Series
Language
English
Place of publication
Cambridge
United Kingdom
Target group
Professional and scholarly
Illustrations
10 Tables, unspecified; 20 Line drawings, unspecified
Dimensions
Height: 255 mm
Width: 177 mm
Thickness: 18 mm
Weight
591 gr
ISBN-13
978-0-521-40043-5 (9780521400435)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Persons
Content
1. Preliminaries; 2. Basic process algebra; 3. Concurrent processes; 4. Communication; 5. Abstraction; 6. Features; 7. Semantics; 8. Sources and related work; Bibliography.