{"product_id":"a-calculus-of-communicating-systems-von-r-milner","title":"A Calculus of Communicating Systems","description":"\u003cp\u003e0. Introduction.- 1. Experimenting on nondeterministic machines.- 2. Synchronization.- 3. A case study in synchronization and proof techniques.- 4. Case studies in value-communication.- 5. Syntax and semantics of CCS.- 6. Communication trees (CTs) as a model of CCS.- 7. Observation equivalence and its properties.- 8. Some proofs about data structures.- 9. Translation into CCS.- 10. Determinancy and confluence.- 11. Conclusion.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540102359\"\u003e\u003ch3\u003e\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540102359","offer_id":39435762073693,"sku":"9783540102359","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/899c51ef-1b7b-4852-84d5-cb0d3402563e.jpg?v=1773553157","url":"https:\/\/shop.autorenwelt.de\/products\/a-calculus-of-communicating-systems-von-r-milner","provider":"Autorenwelt Shop","version":"1.0","type":"link"}