Bradfield, Julian C.
-
BRICS Report Series No. 53 (1998): RS-53 Fixpoint Alternation: Arithmetic, Transition Systems, and the Binary Tree - Articles
Fixpoint Alternation: Arithmetic, Transition Systems, and the Binary Tree
Abstract PDF -
BRICS Report Series No. 5 (1999): RS-5 Observational Mu-Calculus - Articles
Observational Mu-Calculus
Abstract PDF