| Title | A Micro-Kernel for Concurrency in C |
| Publication Type | Journal Article |
| Year of Publication | 1988 |
| Authors | Cormack, G. |
| Journal | Software - Practice and Experience (SPE) |
| Volume | 18 |
| Issue | 5 |
| Pagination | 485--491 |
| DOI | 10.1002/spe.4380180508 |
| Title | A Micro-Kernel for Concurrency in C |
| Publication Type | Journal Article |
| Year of Publication | 1988 |
| Authors | Cormack, G. |
| Journal | Software - Practice and Experience (SPE) |
| Volume | 18 |
| Issue | 5 |
| Pagination | 485--491 |
| DOI | 10.1002/spe.4380180508 |
