Analysing mutual exclusion algorithms using CCS
Ediciones (1)
- Analysing mutual exclusion algorithms using CCS. (1988)
University of Edinburgh, Laboratory for Foundationsof C omputer Science · inglés
University of Edinburgh, Laboratory for Foundationsof C omputer Science · inglés