Transition systems over games

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Research Projects

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

    Paul Levy

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/01/0831/12/12

    Project: Research Councils