A Theory of Conjunction and Concurrency

Bibliografski detalji
Glavni autor: Hoare, C
Format: Conference item
Izdano: 1990