Showing correctness of a replication algorithm in a component based system.

Huaigu Wu, Bettina Kemme

Browse the full IDEAS paper archive.