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