Items related to Concurrency in Dependable Computing
Concurrency in Dependable Computing 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.
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.
Replication induced concurrency management. Replication is a widely used technique for achieving reliability. Replica management essentially involves ensuring that replicas perceive concurrent events identically.
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.
Concurrency in Dependable Computing 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.
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.
Replication induced concurrency management. Replication is a widely used technique for achieving reliability. Replica management essentially involves ensuring that replicas perceive concurrent events identically.
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.
Concurrency in Dependable Computing 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.
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date2002
- ISBN 10 1402070438
- ISBN 13 9781402070433
- BindingHardcover
- Number of pages328
- EditorEzhilchelvan Paul, Romanovsky Alexander
Top Search Results from the AbeBooks Marketplace
Stock Image
CONCURRENCY IN DEPENDABLE COMPUTING
Seller:
Rating
Book Description Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEJUNE24-167563
Buy New
£ 83.02
Convert currency
Seller Image
Concurrency in Dependable Computing
Seller:
Rating
Book Description Condition: New. Seller Inventory # 788545-n
Buy New
£ 130.56
Convert currency
Seller Image
Concurrency in Dependable Computing [Hardcover ]
Seller:
Rating
Book Description Hardcover. Condition: new. Seller Inventory # 9781402070433
Buy New
£ 132.71
Convert currency
Stock Image
Concurrency in Dependable Computing
Published by
Springer
(2002)
ISBN 10: 1402070438
ISBN 13: 9781402070433
New
Hardcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9781402070433_lsuk
Buy New
£ 133.96
Convert currency
Stock Image
Concurrency in Dependable Computing
Published by
Springer
(2002)
ISBN 10: 1402070438
ISBN 13: 9781402070433
New
Hardcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. Seller Inventory # ABLIING23Mar2411530144416
Buy New
£ 145.39
Convert currency
Seller Image
Concurrency in Dependable Computing
Seller:
Rating
Book Description Condition: New. Seller Inventory # 788545-n
Buy New
£ 133.95
Convert currency
Seller Image
Concurrency in Dependable Computing
Published by
Springer US Mai 2002
(2002)
ISBN 10: 1402070438
ISBN 13: 9781402070433
New
Hardcover
Quantity: 2
Seller:
Rating
Book Description Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Concurrency in Dependable Computing 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. 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. Replication induced concurrency management. Replication is a widely used technique for achieving reliability. Replica management essentially involves ensuring that replicas perceive concurrent events identically. 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. Concurrency in Dependable Computing 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. 332 pp. Englisch. Seller Inventory # 9781402070433
Buy New
£ 135.10
Convert currency
Seller Image
Concurrency in Dependable Computing
Published by
Springer US
(2002)
ISBN 10: 1402070438
ISBN 13: 9781402070433
New
Hardcover
Quantity: > 20
Seller:
Rating
Book Description Gebunden. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Concurrency in Dependable Computing 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 . Seller Inventory # 4094795
Buy New
£ 118.60
Convert currency
Seller Image
Concurrency in Dependable Computing
Published by
Springer US
(2002)
ISBN 10: 1402070438
ISBN 13: 9781402070433
New
Hardcover
Quantity: 1
Seller:
Rating
Book Description Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Concurrency in Dependable Computing 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. 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. Replication induced concurrency management. Replication is a widely used technique for achieving reliability. Replica management essentially involves ensuring that replicas perceive concurrent events identically. 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. Concurrency in Dependable Computing 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. Seller Inventory # 9781402070433
Buy New
£ 146.58
Convert currency
Stock Image
Concurrency in Dependable Computing
Published by
Kluwer Academic Publishers
(2002)
ISBN 10: 1402070438
ISBN 13: 9781402070433
New
Hardcover
Quantity: 15
Seller:
Rating
Book Description Condition: New. Failures of system components, can be viewed as undesirable 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. This work explores significant issues in all three strands. Editor(s): Ezhilchelvan, Paul; Romanovsky, Alexander. Num Pages: 310 pages, biography. BIC Classification: UN. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 19. Weight in Grams: 1420. . 2002. Hardback. . . . . Seller Inventory # V9781402070433
Buy New
£ 188.97
Convert currency