The Analysis of Concurrent Systems Cambridge, September 12-16, 1983. Proceedings

The Analysis of Concurrent Systems Cambridge, September 12-16, 1983. Proceedings / edited by B.T. Denvir, W.T. Harwood, M.I. Jackson, M.J. Wray.

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Denvir, B.T (Editor), Harwood, W.T (Editor), Jackson, M.I (Editor), Wray, M.J (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1985.
Edition:1st ed. 1985.
Series:Lecture Notes in Computer Science, 207
Springer eBook Collection.
Subjects:
Architecture, Computer.
Computer logic.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Table of Contents:
  • Using algebra for concurrency: Some approaches
  • Some aspects of net theory
  • From state machines to temporal logic: Specification methods for protocol standards
  • A practical approach to the analysis of concurrent systems
  • The problem set
  • Specifying problem one using the ‘failure’ sets model for CSP and deriving CSP processes which meet this specification
  • Two-way channel with disconnect
  • Workshop on analysis of concurrent systems attempt at problem 3: The firing squad
  • Parallel combinator reduction machine
  • Workshop on analysis of concurrent systems attempt at problem 8: Mixing synchronous and asynchronous input
  • Workshop on analysis of concurrent systems attempt at problem 10: The matrix switch
  • On the specification of the firing squad problem
  • Towards the hierarchical, temporal logic, specification of concurrent systems
  • Two way channel with disconnect
  • An example of specification and verification in CESAR
  • Trace theory and the specification of concurrent systems
  • Syntax and informal semantics of DyNe, a parallel language
  • Examples of a real-time temporal logic specification
  • Problems from the workshop on the analysis of concurrent systems
  • A simple railway system
  • Description and analysis using CIRCAL
  • Firing squad
  • Specification of a simplified Network Service in Z (Problem 2)
  • Specification of a simplified Network Service in CSP (Problem 2)
  • A solution to problem 7 — parallel combinator reduction machine —
  • A temporal analysis of some concurrent systems
  • Solutions to problem no. 2
  • A CSP solution to the "trains" problem
  • The train set problem
  • Conclusions.

Similar Items