Synchronous Game Semantics via Round Abstraction

Dan Ghica, Mohamed Menaa, M Hoffmann

Computer Science

Research output: Contribution to conference (unpublished) › Paper

4 Citations (Scopus)

1 results

Finished
Advanced Fellowship :A Unified Approach to Compositional Software Modelling Analysis and Verification
Ghica, D. (Principal Investigator)
Engineering & Physical Science Research Council
1/07/06 → 30/06/11
Project: Research Councils