1,164 followers
@hillelogram There's much more that builds on this branching-time theory for modeling and verifying component behavior and composition: - subsituting valid substituations of one component by another https://t.co/YkZXdKBl9T - repairing ill-defined component