Concurrency in Dependable Computing
Latest Publications

TOTAL DOCUMENTS

15
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By Springer US

9781441952783, 9781475735734
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Component Based Dependable System Modelling for Easier Verification

2002 ◽  
pp. 61-83 ◽  
Author(s):  
Didier Buchs ◽  
David Hurzeler ◽  
Sandro Costa
Keyword(s):  
System Modelling

Exception Handling in Timed Asynchronous Systems

2002 ◽  
pp. 209-227 ◽  
Author(s):  
Robert Miller ◽  
Anand Tripathi
Keyword(s):  
Exception Handling ◽  
Asynchronous Systems

Semantically Reliable Broadcast

2002 ◽  
pp. 189-207 ◽  
Author(s):  
José Pereira ◽  
Luis Rodrigues ◽  
Rui Oliveira
Keyword(s):  
Reliable Broadcast

Checkpointing in Distributed Computing Systems

2002 ◽  
pp. 273-289 ◽  
Author(s):  
Lalit Kumar ◽  
Manoj Mishra ◽  
Ramesh Chander Joshi
Keyword(s):  
Distributed Computing ◽  
Distributed Computing Systems ◽  
Computing Systems

Model-Based Design of Dependability

2002 ◽  
pp. 23-40
Author(s):  
Anish Arora ◽  
Rajesh Jagannathan ◽  
Yi-Min Wang
Keyword(s):  
Model Based

Fault-Tolerant Sequencer

2002 ◽  
pp. 149-167 ◽  
Author(s):  
Roberto Baldoni ◽  
Carlo Marchetti ◽  
Sara Tucci Piergiovanni
Keyword(s):  
Fault Tolerant

Quality Analysis of Dependable Information Systems

2002 ◽  
pp. 127-145 ◽  
Author(s):  
Apostolos Zarras ◽  
Valerie Issarny
Keyword(s):  
Information Systems ◽  
Quality Analysis

Digging into Concurrency

2002 ◽  
pp. 87-104
Author(s):  
Angie Chandler ◽  
Serena Patching ◽  
Lynne Blair
Load More ...
Sign in / Sign up

Export Citation Format

Share Document