ResearchActivePUBLICUKRI Gateway to Research
Verifiably correct concurrency abstractions
Abstracts are not currently available in GtR for all funded research. This is normally because the abstract was not required at the time of proposal submission, but may be because it included sensitive information such as personal details.
Project completeness
3/6 complete
[x] Summary[ ] Timeline[ ] Recruiting needs[ ] Milestones[x] Funding[x] Resources
External project record
Imported from UKRI Gateway to Research | Grant 6DEC3BD1-ABE7-452D-9D2F-2C147EB61B75.
Open sourceOverview
UKRI Gateway to Research record
Grant agreement 6DEC3BD1-ABE7-452D-9D2F-2C147EB61B75
Open sourceAbstracts are not currently available in GtR for all funded research. This is normally because the abstract was not required at the time of proposal submission, but may be because it included sensitive information such as personal details.