Proving Transfer Functions Distributive
Why the distributive condition?
monotonic, and hence converges
best solution: meet over all paths
Theorem: if g and p are distributive then f is distributive.
Previous slide
Next slide
Back to first slide
View graphic version