Characteristic formulae for fixed-point semantics: A general framework

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

^*Corresponding author for this work

Computer Science

Research output: Contribution to journal › Article › peer-review

14 Citations (Scopus)

1 results

Finished
Advanced Research Fellowship : Semantics of Non-determinism: Functions, Strategies and Bisimulation
Levy, P.
Engineering & Physical Science Research Council
1/01/08 → 31/12/12
Project: Research Councils