polysimy-effect-chains

Verify multiple effect interpretations through propagator networks with temporal coalgebra bisimulation and common fixpoint solutions.