Communication & Concurrency
Published on 1. March 1989
Book
Paperback/Softback
272 pages
978-0-13-115007-2 (ISBN)
Description
Communication and Concurrency develops a general calculus of concurrent programming from first principles. The book provides an understanding of concurrency through a very small number of primitive ideas and illustrates how these ideas apply to hardware and software, to specification and implementation. The material is organised to form the basis of a practical course.
More details
Language
English
Place of publication
Boston
United States
Publishing group
Pearson Education (US)
Target group
Professional and scholarly
Dimensions
Height: 228 mm
Width: 147 mm
Thickness: 15 mm
Weight
400 gr
ISBN-13
978-0-13-115007-2 (9780131150072)
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
Other editions
Previous edition
Robin Milner
Communication and Concurrency
Book
01/1989
Prentice Hall
€55.71
Article exhausted; check for reprint
Content
Foreword.
1. Modelling Communication.
2. Basic Definitions.
3. Equational laws and Their Application.
4. Strong Bisimulation and Strong Equivalence.
5. Bisimulation and Observation Equivalence.
6. Further Examples.
7. The Theory of Observation Congruence.
8. Defining a Programming Language.
9. Operators and Calculi.
10. Specifications and Logic.
11. Determinancy and Confluence.
12. Sources and Related Work.
Bibliography.
Index.
1. Modelling Communication.
2. Basic Definitions.
3. Equational laws and Their Application.
4. Strong Bisimulation and Strong Equivalence.
5. Bisimulation and Observation Equivalence.
6. Further Examples.
7. The Theory of Observation Congruence.
8. Defining a Programming Language.
9. Operators and Calculi.
10. Specifications and Logic.
11. Determinancy and Confluence.
12. Sources and Related Work.
Bibliography.
Index.