Project Details
| Status | Finished |
|---|---|
| Effective start/end date | 9/08/04 → 8/08/05 |
Funding
- EPSRC: £64,612.00
A Grainless Semantics for Shared Variable Concurrency.
- Plotkin, Gordon (Principal Investigator)
| Status | Finished |
|---|---|
| Effective start/end date | 9/08/04 → 8/08/05 |