Synchronization trees (1984)

by G Winskel
Venue:Theoretical Computer Science