Analysing mutual exclusion algorithms using CCS.
Series: LFCS report series -- ECS-LFCS-88-45
Publisher: University of Edinburgh, Laboratory for Foundationsof C omputer Science
Published: 1988
Place of publication: Edinburgh
Language: eng
Number of pages: 17