Developing Fault Tolerant Distributed Systems by Refinement.

Elena Troubitsyna

Browse the full ICSEA paper archive.