Proving mutual exclusion with process algebra (1990)

by E R Nieuwland
Venue:In