Edinburgh Research Explorer

From Data Types to Session Types - A Basis for Concurrency and Distribution

Project: Funded ProjectResearch

Total award£4,945,110.00
Funding organisationEPSRC
Funder project referenceep/k034413/1
Period20/05/1319/05/18