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

Project Details

StatusFinished
Effective start/end date20/05/1319/11/20

Funding

  • EPSRC: £4,945,110.00