Automated analysis of mutual exclusion algorithms using CCS |
| |
Authors: | D. J. Walker |
| |
Affiliation: | (1) Department of Computer Science, University of Edinburgh, EH9 3JZ Edinburgh, UK |
| |
Abstract: | A number of mutual exclusion algorithms are studied by representing them as agents in the Calculus of Communicating Systems and using an automated tool embodying some of the theory of the Calculus to analyse the representations. It is determined whether or not each of the algorithms preserves mutual exclusion and is live. |
| |
Keywords: | CCS Mutual exclusion algorithms Concurrency workbench |
本文献已被 SpringerLink 等数据库收录! |