Higher-level synchronising devices (1985)

by R de Simone
Venue:in MEIJE–SCCS, Theoretical Comput. Sci. 37