{"product_id":"concurrency-in-dependable-computing-von-paul-ezhilchelvan-alexander-romanovsky-hrsg","title":"Concurrency in Dependable Computing","description":"\n                                \n                \u003cem\u003eConcurrency in Dependable Computing\u003c\/em\u003e\n                                 focuses on  concurrency related issues in the area of dependable computing.  Failures of system components, be hardware units or software modules,  can be viewed as undesirable events occurring concurrently with a set  of normal system events. Achieving dependability therefore is closely  related to, and also benefits from, concurrency theory and formalisms.  This beneficial relationship appears to manifest into three strands of  work.\n                \n                \u003cbr\u003e\n                                  Application level structuring of concurrent activities. Concepts such  as atomic actions, conversations, exception handling, view synchrony,  etc., are useful in structuring concurrent activities so as to  facilitate attempts at coping with the effects of component failures.  \n                \n                \u003cbr\u003e\n                                  Replication induced concurrency management. Replication is a widely  used technique for achieving reliability. Replica management  essentially involves ensuring that replicas perceive concurrent events  identically.\n                \n                \u003cbr\u003e\n                                  Application of concurrency formalisms for dependability assurance.  Fault-tolerant algorithms are harder to verify than their fault-free  counterparts due to the fact that the impact of component faults at  each state need to be considered in addition to valid state  transitions. CSP, Petri nets, CCS are useful tools to specify and  verify fault-tolerant designs and protocols.\n                \n                \u003cbr\u003e\n                                  \n                \n                \u003cem\u003eConcurrency in Dependable Computing\u003c\/em\u003e\n                                 explores many significant  issues in all three strands. To this end, it is composed as a  collection of papers written by authors well-known in their respective  areas of research. To ensure quality, the papers are reviewed by a  panel of at least three experts in the relevant area.\n            \n            \u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9781441952783\"\u003e\u003ch3\u003e\u003c\/h3\u003e\u003c\/div\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9781402070433\"\u003e\u003ch3\u003e\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9781441952783","offer_id":39416692834397,"sku":"9781441952783","price":160.49,"currency_code":"EUR","in_stock":true},{"title":"Hardcover - 9781402070433","offer_id":50685112774,"sku":"9781402070433","price":160.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/0f3f6351-3b0f-4a2a-b13c-3ca0c0f2c766.jpg?v=1765948296","url":"https:\/\/shop.autorenwelt.de\/products\/concurrency-in-dependable-computing-von-paul-ezhilchelvan-alexander-romanovsky-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}