[formal-methods] Correct by construction DAGs.

Jason Dusek jason.dusek at gmail.com
Tue Jun 16 02:17:59 UTC 2009


  Discusses DAGs in the context of initial algebras and
  categories, with an eye to eliminating cycles through correct
  composition rules.

--
Jason Dusek


 |...Discusses DAGs...|
  http://www.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/damgs.ps.gz



More information about the formal-methods mailing list