TY  - RPRT
TI  - Characteristic Formulae for Fixed-Point Semantics: A General Framework
AU  - Luca Aceto
AU  - Anna Ingolfsdottir
AU  - Joshua Sack
PY  - 2009
DO  - 10.4204/eptcs.8.1
UR  - https://arxiv.org/abs/0911.1862
ID  - 0911.1862
ER  -