Arjun Srivastava's Library

home

Arjun Srivastava's Library

Arjun Srivastava's Library
Tags
Tags starting with N
nondeterminacy

Communicating sequential processes
C. A. R. Hoare