Find link

language:

Find link is a tool written by Edward Betts.

searching for Communicating sequential processes 3 found (82 total)

alternate case: communicating sequential processes

Unbounded nondeterminism (2,718 words) [view diff] case mismatch in snippet view article find links to article

Prentice-Hall. ISBN 9780613924115. Hoare, C. A. R. (August 1978). "Communicating Sequential Processes". Communications of the ACM. 21 (8): 666–677. doi:10.1145/359576

Power domains (1,165 words) [view diff] case mismatch in snippet view article find links to article

their syntax Journal of the ACM. April, 1979. C.A.R. Hoare. Communicating Sequential Processes CACM. August, 1978. Nissim Francez, C.A.R. Hoare, Daniel Lehmann

Linear logic (2,979 words) [view diff] case mismatch in snippet view article find links to article

from the original on 4 July 2016. Hoare, C. A. R. (1985). Communicating Sequential Processes. Prentice-Hall International. ISBN 0-13-153271-5. Lafont,