Independence: logics and concurrency (2000)

by J C Bradfield
Venue:Univ Edinburgh