The Analysis of Concurrent Systems

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 32 Introduction
3. Altmetric Badge
   Chapter 33 Using algebra for concurrency: Some approaches
4. Altmetric Badge
   Chapter 34 Some aspects of net theory
5. Altmetric Badge
   Chapter 35 From state machines to temporal logic: Specification methods for protocol standards
6. Altmetric Badge
   Chapter 36 A practical approach to the analysis of concurrent systems
7. Altmetric Badge
   Chapter 37 The problem set
8. Altmetric Badge
   Chapter 38 Specifying problem one using the ‘failure’ sets model for CSP and deriving CSP processes which meet this specification
9. Altmetric Badge
   Chapter 39 Two-way channel with disconnect
10. Altmetric Badge
    Chapter 40 Workshop on analysis of concurrent systems attempt at problem 3: The firing squad
11. Altmetric Badge
    Chapter 41 Parallel combinator reduction machine
12. Altmetric Badge
    Chapter 42 Workshop on analysis of concurrent systems attempt at problem 8: Mixing synchronous and asynchronous input
13. Altmetric Badge
    Chapter 43 Workshop on analysis of concurrent systems attempt at problem 10: The matrix switch
14. Altmetric Badge
    Chapter 44 On the specification of the firing squad problem
15. Altmetric Badge
    Chapter 45 Towards the hierarchical, temporal logic, specification of concurrent systems
16. Altmetric Badge
    Chapter 46 Two way channel with disconnect
17. Altmetric Badge
    Chapter 47 An example of specification and verification in CESAR
18. Altmetric Badge
    Chapter 48 Trace theory and the specification of concurrent systems
19. Altmetric Badge
    Chapter 49 Syntax and informal semantics of DyNe, a parallel language
20. Altmetric Badge
    Chapter 50 Examples of a real-time temporal logic specification
21. Altmetric Badge
    Chapter 51 Problems from the workshop on the analysis of concurrent systems
22. Altmetric Badge
    Chapter 52 A simple railway system
23. Altmetric Badge
    Chapter 53 Description and analysis using CIRCAL
24. Altmetric Badge
    Chapter 54 Firing squad
25. Altmetric Badge
    Chapter 55 Specification of a simplified Network Service in Z (Problem 2)
26. Altmetric Badge
    Chapter 56 Specification of a simplified Network Service in CSP (Problem 2)
27. Altmetric Badge
    Chapter 57 A solution to problem 7 — parallel combinator reduction machine —
28. Altmetric Badge
    Chapter 58 A temporal analysis of some concurrent systems
29. Altmetric Badge
    Chapter 59 Solutions to problem no. 2
30. Altmetric Badge
    Chapter 60 A CSP solution to the "trains" problem
31. Altmetric Badge
    Chapter 61 The train set problem
32. Altmetric Badge
    Chapter 62 Conclusions