Project Details
| Short title | System-Level Game Semantics: A unifying framework for composing systems |
|---|---|
| Status | Finished |
| Effective start/end date | 1/12/16 → 30/11/19 |
Funding
- Engineering & Physical Science Research Council
System-Level Game Semantics: A unifying framework for composing systems
- Ghica, Dan (Principal Investigator)