V. L. Nguyen
John Staples and V. L. Nguyen.
A fixpoint semantics for nondeterministic data flow.
Journal of the ACM
, 32(2):411-444, April 1985.
Citations.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database