Partial Correctness of Communicating Sequential Processes

Partial Correctness of Communicating Sequential Processes

Mostrar outras versões (1)

Detalhes bibliográficos
Principais autores:	Chaochen, Z, Hoare, C
Formato:	Conference item
Publicado em:	IEEE 2015

Partial Correctness of Communicating Sequential Processes

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

Publicado em 1981

Record