The Analysis of Concurrent Systems 1983: Cambridge, UK

@proceedings{DBLP:conf/acs/1983,
  editor    = {B. Tim Denvir and
               W. T. Harwood and
               M. I. Jackson and
               M. J. Wray},
  title     = {The Analysis of Concurrent Systems, Cambridge, September 12-16,
               1983, Proceedings},
  booktitle = {The Analysis of Concurrent Systems},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {207},
  year      = {1985},
  isbn      = {3-540-16047-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Tutorial Papers

• Robin Milner: Using Algebra for Concurrency: Some Approaches. 7-25 BibTeX
• P. S. Thiagarajan: Some Aspects of Net Theory. 26-54 BibTeX
• Richard L. Schwartz, P. M. Melliar-Smith: From State Machines to Temporal Logic: Specification Methods for Protocol Standards. 55-65 BibTeX
• Jean-Raymond Abrial: A Practical Approach to the Analysis of Concurrent Systems. 66-96 BibTeX

The Problem Set

• A. W. Roscoe: Specifying problem one using the failure sets model for CSP and deriving CSP processes which meett this specification. 103-109 BibTeX
• Vaughan R. Pratt: Two-way Channel with Disconnect. 110-111 BibTeX
• C. A. R. Hoare: Workshop on Analysis of Concurrent Systems Attempt at problem 3: The Firing Squad. 115-116 BibTeX
• Robin Milner: Parallel Combinator Reduction Machine. 121-126 BibTeX
• C. A. R. Hoare: Workshop on Analysis of Concurrent Systems Attempt at Problem 10: The Matrix Switch. 132-133 BibTeX

Solutions

• Egidio Astesiano, Gianna Reggio: On the Specification of the Firing Squad Problem. 137-156 BibTeX
• Howard Barringer, Ruurd Kuiper: Towards the Hierarchical, Temporal Logic, Specification. 157-183 BibTeX
• John Yiannis Cotronis, Peter E. Lauer: Two Way Channel with Disconnect. 184-198 BibTeX
• Jean-Claude Fernandez, J. Ph. Schwartz, Joseph Sifakis: An Example of Specification and Verification in Cesar. 199-210 BibTeX
• Anne Kaldewaij: Trace Theory and the Specification of Concurrent Systems. 211-221 BibTeX
• Richard Kennaway, M. Ronan Sleep: Syntax and informal semantics of DyNe, a parallel language. 222-230 BibTeX
• Ron Koymans, Willem P. de Roever: Examples of a Real-Time Temporal Logic Specification. 231-251 BibTeX
• Leslie Lamport: Problems from the Workshop on the Analysis of Concurrent Systems. 252-270 BibTeX
• Peter E. Lauer: A Simple Railway System. 271-292 BibTeX
• George J. Milne: Description and Analysis Using Circal. 293-313 BibTeX
• Robin Milner: Firing Squad. 314-317 BibTeX
• Carroll Morgan: Specification of a simplified Network Service in Z. 318-344 BibTeX
• Carroll Morgan, C. A. R. Hoare: Specification of a simplified Network Service in CSP. 345-353 BibTeX
• Peter D. Mosses: A Solution to Problem 7 - Parallel Combinator Reduction Machine -. 354-358 BibTeX
• Ben C. Moszkowski: A Temporal Analysis of Some Concurrent Systems. 359-364 BibTeX
• Amir Pnueli: Solutions to Problem No.2. 365-383 BibTeX
• A. W. Roscoe: A CSP solution to the "trains" problem. 384-388 BibTeX
• M. W. Shields: The Train Set Problem. 389-396 BibTeX