Book

Automated Analysis of Mutual Exclusion Algorithms using CCS

by D. J. Walker