A Theory of Conjunction and Concurrency

书目详细资料
主要作者: Hoare, C
格式: Conference item
出版: 1990