Journal of the ACM Bibliography

John Staples and V. L. Nguyen. A fixpoint semantics for nondeterministic data flow. Journal of the ACM, 32(2):411-444, April 1985. [BibTeX entry]
Selected papers that cite this one


Shortcuts:

  • Journal of the ACM homepage
  • Bibliography top level
  • Journal of the ACM Author Index
  • Search the HBP database