Independence: logics and concurrency (2000)

by J Bradfield
Venue:In Lecture Notes in Computer Science