Interde nability of parallel operations (1991)

by A Stoughton
Venue:in PCF. Theoretical Computer Science