On computing the fixpoint of a set of boolean equations

Note: MSR-TR-2003-08 (Microsoft Research) Reference LARA-REPORT-2003-001 URL: http://arxiv.org/abs/cs.PL/0408045 Record created on 2007-08-21, modified on 2017-05-12