A Theory of Conjunction and Concurrency

Bibliographic Details
Main Author: Hoare, C
Format: Record
Published: 1989