Characteristic formulae for fixed-point semantics: A general framework

Luca Aceto*, Anna Ingolfsdottir, Paul Blain Levy, Joshua Sack

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

14 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Characteristic formulae for fixed-point semantics: A general framework'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science