Abstract is missing.
- Using Algebra for Concurrency: Some ApproachesRobin Milner. 7-25
- Some Aspects of Net TheoryP. S. Thiagarajan. 26-54
- From State Machines to Temporal Logic: Specification Methods for Protocol StandardsRichard L. Schwartz, P. M. Melliar-Smith. 55-65
- A Practical Approach to the Analysis of Concurrent SystemsJean-Raymond Abrial. 66-96
- Specifying problem one using the failure sets model for CSP and deriving CSP processes which meett this specificationA. W. Roscoe. 103-109
- Two-way Channel with DisconnectVaughan R. Pratt. 110-111
- Workshop on Analysis of Concurrent Systems Attempt at problem 3: The Firing SquadC. A. R. Hoare. 115-116
- Parallel Combinator Reduction MachineRobin Milner. 121-126
- Workshop on Analysis of Concurrent Systems Attempt at Problem 10: The Matrix SwitchC. A. R. Hoare. 132-133
- On the Specification of the Firing Squad ProblemEgidio Astesiano, Gianna Reggio. 137-156
- Towards the Hierarchical, Temporal Logic, SpecificationHoward Barringer, Ruurd Kuiper. 157-183
- Two Way Channel with DisconnectJohn Yiannis Cotronis, Peter E. Lauer. 184-198
- An Example of Specification and Verification in CesarJean-Claude Fernandez, J. Ph. Schwartz, Joseph Sifakis. 199-210
- Trace Theory and the Specification of Concurrent SystemsAnne Kaldewaij. 211-221
- Syntax and informal semantics of DyNe, a parallel languageRichard Kennaway, M. Ronan Sleep. 222-230
- Examples of a Real-Time Temporal Logic SpecificationRon Koymans, Willem P. de Roever. 231-251
- Problems from the Workshop on the Analysis of Concurrent SystemsLeslie Lamport. 252-270
- A Simple Railway SystemPeter E. Lauer. 271-292
- Description and Analysis Using CircalGeorge J. Milne. 293-313
- Firing SquadRobin Milner. 314-317
- Specification of a simplified Network Service in ZCarroll Morgan. 318-344
- Specification of a simplified Network Service in CSPCarroll Morgan, C. A. R. Hoare. 345-353
- A Solution to Problem 7 - Parallel Combinator Reduction Machine -Peter D. Mosses. 354-358
- A Temporal Analysis of Some Concurrent SystemsBen C. Moszkowski. 359-364
- Solutions to Problem No.2Amir Pnueli. 365-383
- A CSP solution to the trains problemA. W. Roscoe. 384-388
- The Train Set ProblemM. W. Shields. 389-396