Refinement Patterns for Fault Tolerant Systems.

Alexei Iliasov, Alexander B. Romanovsky

Browse the full EDCC paper archive.