Research output per year
Research output per year
Project Details
| Short title | Advanced Research Fellowship : Semantics of Non-determinism: Functions, Strategies and Bisimulation |
|---|---|
| Status | Finished |
| Effective start/end date | 1/01/08 → 31/12/12 |
Funding
- Engineering & Physical Science Research Council
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
-
On Final Coalgebras of Power-Set Functors and Saturated Trees: To George Janelidze on the Occasion of His Sixtieth Birthday
Adámek, J., Levy, P. B., Milius, S., Moss, L. S. & Sousa, L., 1 Aug 2015, In: Applied Categorical Structures. 23, 4, p. 609-641Research output: Contribution to journal › Article › peer-review
5 Citations (Scopus) -
Transition systems over games
Levy, P. B. & Staton, S., 14 Jul 2014, CSL-LICS '14 - Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) . Association for Computing Machinery , 64Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access5 Citations (Scopus) -
Characteristic formulae for fixed-point semantics: A general framework
Aceto, L., Ingolfsdottir, A., Levy, P. B. & Sack, J., Apr 2012, In: Mathematical Structures in Computer Science. 22, 2, p. 125-173 49 p.Research output: Contribution to journal › Article › peer-review
14 Citations (Scopus)