Partial Correctness of Communicating Sequential Processes

Partial Correctness of Communicating Sequential Processes

Ցույց տալ այլ տարբերակներ (1)
Մատենագիտական մանրամասներ
Հիմնական հեղինակներ: Chaochen, Z, Hoare, C
Ձևաչափ: Conference item
Հրապարակվել է: IEEE 2015
Search Result 1
Partial Correctness of Communicating Sequential Processes

Partial Correctness of Communicating Sequential Processes ‌ Zhou, C, Hoare, C

Հրապարակվել է 1981
Record
Ցույց տալ բոլոր տարբերակները (2)

Նմանատիպ նյութեր