The Library of Congress > Linked Data Service > BIBFRAME Works

Bibframe Work

Title
Concurrency in dependable computing Concurrency in dependable computing
Type
Text
Language
English
Illustrative Content
illustrations
Classification
LCC: QA76.58 .C663 2002 (Source: dlc)
Identified By
Lccn: 2002069524
Table Of Contents
Machine generated contents note: Part I Role of Modelling and Formalisms for De-
pendable System Design
1
Compositional Development in the Event of Interface Differ- 3
ence
Jonathan Burton, Maciej Koutny, Giuseppe Pappalardo and
Marta Pietkiewicz-Koutny
2
Model-Based Design of Dependability 23
Anish Arora, Rajesh Jagannathan and Yi-Min Wang
3
TLA Specification of a Mechanism for Concurrent Exception 41
Handling
Avelino Francisco Zorzo, Brian Randell and Alexander Ro-
manovsky
4
Component Based Dependable System Modelling for 61
Easier Verification
Didier Buchs, Sandro Costa and David Hurzeler
Part II Application Specific Modelling for Depend-
able Design and Analysis
5
Digging into Concurrency 87
Angie Chandler, Serena Patching and Lynne Blair
6
Deadlock Free Control in Automated Guided Vehicle Systems 105
Maria Pia Fanti
7
Quality Analysis of Dependable Information Systems 127
Apostolos Zarras and Valerie Issarny
Part III Event Ordering and its Application
8
Fault-Tolerant Sequencer 149
Roberto Baldoni, Carlo Marchetti and Sara Tucci Piergiovanni
9
QoS Analysis of Group Communication Protocols in Wireless 169
Environment
Andrea Bondavalli, Andrea Coccoli and Felicita Di Gian-
domenico
10
Semantically Reliable Broadcast 189
Jose Pereira, Luis Rodrigues and Rui Oliveira
11
Exception Handling in Timed Asynchronous Systems 209
Robert Miller and Anand Tripathi
Part IV Transactions and Consistent Checkpointing
12
A Recovery Model for Cooperative Computations 231
Edgar Nett and Michael Mock
13
Group Transactions 253
Marta Patiio-Martnez, Ricardo Jimenez-Peris and Sergio
Arevalo
14
Checkpointing in Distributed Computing Systems 273
Lalit Kumar, Manoj Misra and Ramesh Chander Joshi
Part V Concurrency in Real-Time Applications
15
Concurrency in Dependable Real-Time Objects 293
K.H.(Kane) Kim.
Authorized Access Point
Ezhilchelvan, P. (Paul) Concurrency in dependable computing
Authorized Access Point Variant
Romanovsky, Alexander, 1954- Concurrency in dependable computing