Advanced Research Fellowship : Semantics of Non-determinism: Functions, Strategies and Bisimulation

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

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-641
Research 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 , 64
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access

5 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)

Project Details