Characteristic formulae for fixed-point semantics: a general framework

@article{Aceto2012CharacteristicFF,
  title={Characteristic formulae for fixed-point semantics: a general framework},
  author={Luca Aceto and Anna Ing{\'o}lfsd{\'o}ttir and Paul Blain Levy and Joshua Sack},
  journal={Mathematical Structures in Computer Science},
  year={2012},
  volume={22},
  pages={125-173}
}

Similar Papers

Loading similar papers…