The Analysis of Concurrent Systems: Cambridge, September 12–16, 1983 Proceedings

Introduction....Pages 1-4
Using algebra for concurrency: Some approaches....Pages 5-25
Some aspects of net theory....Pages 26-54
From state machines to temporal logic: Specification methods for protocol standards....Pages 55-65
A practical approach to the analysis of concurrent systems....Pages 66-96
The problem set....Pages 97-102
Specifying problem one using the ‘failure’ sets model for CSP and deriving CSP processes which meet this specification....Pages 103-109
Two-way channel with disconnect....Pages 110-114
Workshop on analysis of concurrent systems attempt at problem 3: The firing squad....Pages 115-120
Parallel combinator reduction machine....Pages 121-127
Workshop on analysis of concurrent systems attempt at problem 8: Mixing synchronous and asynchronous input....Pages 128-131
Workshop on analysis of concurrent systems attempt at problem 10: The matrix switch....Pages 132-133
On the specification of the firing squad problem....Pages 135-156
Towards the hierarchical, temporal logic, specification of concurrent systems....Pages 157-183
Two way channel with disconnect....Pages 184-198
An example of specification and verification in CESAR....Pages 199-210
Trace theory and the specification of concurrent systems....Pages 211-221
Syntax and informal semantics of DyNe, a parallel language....Pages 222-230
Examples of a real-time temporal logic specification....Pages 231-251
Problems from the workshop on the analysis of concurrent systems....Pages 252-270
A simple railway system....Pages 271-292
Description and analysis using CIRCAL....Pages 293-313
Firing squad....Pages 314-317
Specification of a simplified Network Service in Z (Problem 2) ....Pages 318-344
Specification of a simplified Network Service in CSP (Problem 2) ....Pages 345-353
A solution to problem 7 — parallel combinator reduction machine —....Pages 354-358
A temporal analysis of some concurrent systems....Pages 359-364
Solutions to problem no. 2....Pages 365-383
A CSP solution to the \"trains\" problem....Pages 384-388
The train set problem....Pages 389-391
Conclusions....Pages 392-396