Independence: logic and concurrency (2000)

by J Bradfield
Venue:In LCS’00