Skip to content

Concurrency in Dependable Computing

Spend $50 to get a free movie!

ISBN-10: 1402070438

ISBN-13: 9781402070433

Edition: 2002

Authors: Paul Ezhilchelvan, Alexander Romanovsky

List price: $194.00
Blue ribbon 30 day, 100% satisfaction guarantee!
Rent eBooks
what's this?
Rush Rewards U
Members Receive:
Carrot Coin icon
XP icon
You have reached 400 XP and carrot coins. That is the daily max!

Failures of system components, be software modules or hardware units, can be seen as undesirable events occurring concurrently with a set of normal system events. This text looks at concurrency related issues in the area of dependable computing.
Customers also bought

Book details

List price: $194.00
Copyright year: 2002
Publisher: Springer
Publication date: 5/31/2002
Binding: Hardcover
Pages: 310
Size: 6.50" wide x 9.50" long x 0.75" tall
Weight: 1.584
Language: English

Foreword
Preface
Role of Modelling and Formalisms for Dependable System Design
Compositional Development in the Event of Interface Difference
Model-Based Design of Dependability
TLA Specification of a Mechanism for Concurrent Exception Handling
Component Based Dependable System Modelling for Easier Verification
Application Specific Modelling for Dependable Design and Analysis
Digging into Concurrency
Deadlock Free Control in Automated Guided Vehicle Systems
Quality Analysis of Dependable Information Systems
Event Ordering and its Application
Fault-Tolerant Sequencer
QoS Analysis of Group Communication Protocols in Wireless Environment
Semantically Reliable Broadcast
Exception Handling in Timed Asynchronous Systems
Transactions and Consistent Checkpointing
A Recovery Model for Cooperative Computations
Group Transactions
Checkpointing in Distributed Computing Systems
Concurrency in Real-Time Applications
Concurrency in Dependable Real-Time Objects