The Analysis of Concurrent Systems

Keyphrases

Publications

volume 207, 1985

The Analysis of Concurrent Systems, Cambridge, UK, September 12-16, 1983, Proceedings The Analysis of Concurrent Systems 207 (1985)

1983

Amir Pnueli
Solutions to Problem No.2. The Analysis of Concurrent Systems (1983)
Robin Milner
Using Algebra for Concurrency: Some Approaches. The Analysis of Concurrent Systems (1983)
Robin Milner
Firing Squad. The Analysis of Concurrent Systems (1983)
Peter D. Mosses
A Solution to Problem 7 - Parallel Combinator Reduction Machine -. The Analysis of Concurrent Systems (1983)
Egidio Astesiano, Gianna Reggio
On the Specification of the Firing Squad Problem. The Analysis of Concurrent Systems (1983)
Howard Barringer, Ruurd Kuiper
Towards the Hierarchical, Temporal Logic, Specification. The Analysis of Concurrent Systems (1983)
Ron Koymans, Willem P. de Roever
Examples of a Real-Time Temporal Logic Specification. The Analysis of Concurrent Systems (1983)
C. A. R. Hoare
Workshop on Analysis of Concurrent Systems Attempt at problem 3: The Firing Squad. The Analysis of Concurrent Systems (1983)
Carroll Morgan
Specification of a simplified Network Service in Z. The Analysis of Concurrent Systems (1983)
A. W. Roscoe
Specifying problem one using the failure sets model for CSP and deriving CSP processes which meett this specification. The Analysis of Concurrent Systems (1983)
Vaughan R. Pratt
Two-way Channel with Disconnect. The Analysis of Concurrent Systems (1983)
Robin Milner
Parallel Combinator Reduction Machine. The Analysis of Concurrent Systems (1983)
Jean-Claude Fernandez, Jean-Philippe Schwartz, Joseph Sifakis
An Example of Specification and Verification in Cesar. The Analysis of Concurrent Systems (1983)
M. W. Shields
The Train Set Problem. The Analysis of Concurrent Systems (1983)
Peter E. Lauer
A Simple Railway System. The Analysis of Concurrent Systems (1983)
P. S. Thiagarajan
Some Aspects of Net Theory. The Analysis of Concurrent Systems (1983)
C. A. R. Hoare
Workshop on Analysis of Concurrent Systems Attempt at Problem 10: The Matrix Switch. The Analysis of Concurrent Systems (1983)
George J. Milne
Description and Analysis Using Circal. The Analysis of Concurrent Systems (1983)
A. W. Roscoe
A CSP solution to the "trains" problem. The Analysis of Concurrent Systems (1983)
Anne Kaldewaij
Trace Theory and the Specification of Concurrent Systems. The Analysis of Concurrent Systems (1983)
Jean-Raymond Abrial
A Practical Approach to the Analysis of Concurrent Systems. The Analysis of Concurrent Systems (1983)
John Yiannis Cotronis, Peter E. Lauer
Two Way Channel with Disconnect. The Analysis of Concurrent Systems (1983)
Leslie Lamport
Problems from the Workshop on the Analysis of Concurrent Systems. The Analysis of Concurrent Systems (1983)
Richard L. Schwartz, P. M. Melliar-Smith
From State Machines to Temporal Logic: Specification Methods for Protocol Standards. The Analysis of Concurrent Systems (1983)
Richard Kennaway, M. Ronan Sleep
Syntax and informal semantics of DyNe, a parallel language. The Analysis of Concurrent Systems (1983)
Carroll Morgan, C. A. R. Hoare
Specification of a simplified Network Service in CSP. The Analysis of Concurrent Systems (1983)
Ben C. Moszkowski
A Temporal Analysis of Some Concurrent Systems. The Analysis of Concurrent Systems (1983)