Analysing mutual exclusion algorithms using CCS.
Edición de la obra Analysing mutual exclusion algorithms using CCS
| Autor | David Harry Walker |
|---|---|
| Editorial | University of Edinburgh, Laboratory for Foundationsof C omputer Science |
| Fecha de publicación | 1988 |
| Lugar | Edinburgh |
| Idioma | inglés |
| Páginas | 17 |
| Serie | LFCS report series -- ECS-LFCS-88-45 |
| Número de Cutter | W178a |