Higher-Level Synchronising Devices (1985)

by Robert de Simone
Venue:in Meije-SCCS. Theoretical Computer Science 37