guarantees & protocols enable recovery (de)composition

Previous slide Next slide Back to first slide View graphic version