The Analysis of Concurrent Systems: Cambridge, September 12-16, 1983. Proceedings by B.T. DenvirThe Analysis of Concurrent Systems: Cambridge, September 12-16, 1983. Proceedings by B.T. Denvir

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

EditorB.T. Denvir

Paperback | December 1, 1985

Pricing and Purchase Info

$136.79 online 
$154.95 list price save 11%
Earn 684 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

Title:The Analysis of Concurrent Systems: Cambridge, September 12-16, 1983. ProceedingsFormat:PaperbackDimensions:416 pages, 9.17 × 6.1 × 0 inPublished:December 1, 1985Publisher:Springer Berlin HeidelbergLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3540160477

ISBN - 13:9783540160472

Look for similar items by category:

Reviews

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.