Find link

language:

Find link is a tool written by Edward Betts.

searching for communicating sequential processes 4 found (81 total)

alternate case: Communicating sequential processes

Unbounded nondeterminism (2,428 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

Data management (1,939 words) [view diff] case mismatch in snippet view article find links to article

com. Retrieved 2023-12-04. Hoare, C. A. R. (2004) [1985]. Communicating Sequential Processes. Prentice Hall International. ISBN 978-0-13-153271-7. Watson

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

processes and their syntax JACM. April, 1979. CAR Hoare. Communicating Sequential Processes CACM. August, 1978. Nissim Francez, CAR Hoare, Daniel Lehmann

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

and Types. Cambridge Press, 1989. Hoare, C. A. R., 1985. Communicating Sequential Processes. Prentice-Hall International. ISBN 0-13-153271-5 Lafont, Yves