Speci cation and (1980)

by K Ramarithram, R Keller
Venue:Synthesis of Synchronizers, Porc. 9th Int. Conf. on Par. Processing