{"product_id":"the-analysis-of-concurrent-systems-cambridge-september-12-16-1983-proceedings-von-b-t-denvir-w-t-harwood-m-i-jackson-m-j-wray-hrsg","title":"The Analysis of Concurrent Systems","description":"\u003cp\u003eUsing 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.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540160472\"\u003e\u003ch3\u003eCambridge, September 12-16, 1983. Proceedings\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540160472","offer_id":39425163722845,"sku":"9783540160472","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/b62b6e54-c3d2-4748-ad03-19b0ad749052.jpg?v=1773554395","url":"https:\/\/shop.autorenwelt.de\/products\/the-analysis-of-concurrent-systems-cambridge-september-12-16-1983-proceedings-von-b-t-denvir-w-t-harwood-m-i-jackson-m-j-wray-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}