Service Availability in Concurrent Systems - Part II: Analysis and Case Studies Using HSIP.

Mehran S. Fallah Ahmad R. Sharafat

Published in: Comput. J. (2007)

Keyphrases

concurrent systems
case study
data sets

management system
open source

distributed systems
collaborative learning

model checking
lessons learned