A Theory of Conjunction and Concurrency

Մատենագիտական մանրամասներ
Հիմնական հեղինակ: Hoare, C
Ձևաչափ: Conference item
Հրապարակվել է: 1990