Showing 1 - 15 results of 15 for search '"Dana Scott"', query time: 0.37s Refine Results
  1. 1
  2. 2
  3. 3
  4. 4
  5. 5
  6. 6
  7. 7
  8. 8
  9. 9
  10. 10
  11. 11
  12. 12
  13. 13
  14. 14
  15. 15

    A Formal Model of Non-Determinate Dataflow Computation by Brock, Jarvis Dean

    Published 2023
    “…Almost ten years ago, Gilles Kahn used the fixed point theory of Dana Scott to define a formal and elegant model of computation for determinate dataflow graphs, networks of determinate processes communicating asynchronously through unbounded channels.…”
    Get full text