Communication & Concurrency

Zusammenfassung
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.

Inhalt
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.

#	Onlineshop	Preis CHF	Versand CHF	Total CHF
1	Seller	0.00	0.00	0.00