Skip to main navigation
Skip to search
Skip to main content
University of Birmingham Home
Help & FAQ
Home
Research output
Profiles
Research Units
Projects
Activities
Datasets
Equipment
Prizes
Press / Media
Search by expertise, name or affiliation
System-Level Game Semantics: A unifying framework for composing systems
Ghica, Dan
(Principal Investigator)
Computer Science
Overview
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
View all
View less
