Fixpoint

• Stages

  Position in a process as a fixpoint over the reached set — synchronous sweeps, sticky milestones, and regression by derivation.