Similarity Quotients as Final Coalgebras

Paul Levy, M Hoffman

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

23 Citations (Scopus)

1 results

Filter

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