Edinburgh Research Explorer

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

Project: Research

StatusActive
Effective start/end date20/05/1319/11/20
Total award£4,945,110.00
Funding organisationEPSRC
Funder project referenceep/k034413/1
Period20/05/1319/11/20

Research outputs