Higher-Level Synchronising Devices (1985)

by Robert de Simone
Venue:in Meije-SCCS’. In: TCS 37