Stop the war!
Остановите войну!
for scientists:
default search action
The Analysis of Concurrent Systems 1983: Cambridge, UK
- B. Tim Denvir, W. T. Harwood, M. I. Jackson, M. J. Wray:
The Analysis of Concurrent Systems, Cambridge, UK, September 12-16, 1983, Proceedings. Lecture Notes in Computer Science 207, Springer 1985, ISBN 3-540-16047-7
Tutorial Papers
- Robin Milner:
Using Algebra for Concurrency: Some Approaches. 7-25 - P. S. Thiagarajan:
Some Aspects of Net Theory. 26-54 - Richard L. Schwartz, P. M. Melliar-Smith:
From State Machines to Temporal Logic: Specification Methods for Protocol Standards. 55-65 - Jean-Raymond Abrial:
A Practical Approach to the Analysis of Concurrent Systems. 66-96
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 - Vaughan R. Pratt:
Two-way Channel with Disconnect. 110-111 - C. A. R. Hoare:
Workshop on Analysis of Concurrent Systems Attempt at problem 3: The Firing Squad. 115-116 - Robin Milner:
Parallel Combinator Reduction Machine. 121-126 - C. A. R. Hoare:
Workshop on Analysis of Concurrent Systems Attempt at Problem 10: The Matrix Switch. 132-133
Solutions
- Egidio Astesiano, Gianna Reggio:
On the Specification of the Firing Squad Problem. 137-156 - Howard Barringer, Ruurd Kuiper:
Towards the Hierarchical, Temporal Logic, Specification. 157-183 - John Yiannis Cotronis, Peter E. Lauer:
Two Way Channel with Disconnect. 184-198 - Jean-Claude Fernandez, Jean-Philippe Schwartz, Joseph Sifakis:
An Example of Specification and Verification in Cesar. 199-210 - Anne Kaldewaij:
Trace Theory and the Specification of Concurrent Systems. 211-221 - Richard Kennaway, M. Ronan Sleep:
Syntax and informal semantics of DyNe, a parallel language. 222-230 - Ron Koymans, Willem P. de Roever:
Examples of a Real-Time Temporal Logic Specification. 231-251 - Leslie Lamport:
Problems from the Workshop on the Analysis of Concurrent Systems. 252-270 - Peter E. Lauer:
A Simple Railway System. 271-292 - George J. Milne:
Description and Analysis Using Circal. 293-313 - Robin Milner:
Firing Squad. 314-317 - Carroll Morgan:
Specification of a simplified Network Service in Z. 318-344 - Carroll Morgan, C. A. R. Hoare:
Specification of a simplified Network Service in CSP. 345-353 - Peter D. Mosses:
A Solution to Problem 7 - Parallel Combinator Reduction Machine -. 354-358 - Ben C. Moszkowski:
A Temporal Analysis of Some Concurrent Systems. 359-364 - Amir Pnueli:
Solutions to Problem No.2. 365-383 - A. W. Roscoe:
A CSP solution to the "trains" problem. 384-388 - M. W. Shields:
The Train Set Problem. 389-396
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.