A Formal Model of Non-Determinate Dataflow Computation
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.
| Main Author: | |
|---|---|
| Other Authors: | |
| Published: |
2023
|
| Online Access: | https://hdl.handle.net/1721.1/149585 |
| _version_ | 1826214750131847168 |
|---|---|
| author | Brock, Jarvis Dean |
| author2 | Dennis, Jack B. |
| author_facet | Dennis, Jack B. Brock, Jarvis Dean |
| author_sort | Brock, Jarvis Dean |
| collection | MIT |
| description | 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. |
| first_indexed | 2024-09-23T16:10:34Z |
| id | mit-1721.1/149585 |
| institution | Massachusetts Institute of Technology |
| last_indexed | 2024-09-23T16:10:34Z |
| publishDate | 2023 |
| record_format | dspace |
| spelling | mit-1721.1/1495852023-03-30T03:06:58Z A Formal Model of Non-Determinate Dataflow Computation Brock, Jarvis Dean Dennis, Jack B. 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. 2023-03-29T15:10:02Z 2023-03-29T15:10:02Z 1983-08 https://hdl.handle.net/1721.1/149585 10694558 MIT-LCS-TR-309 application/pdf |
| spellingShingle | Brock, Jarvis Dean A Formal Model of Non-Determinate Dataflow Computation |
| title | A Formal Model of Non-Determinate Dataflow Computation |
| title_full | A Formal Model of Non-Determinate Dataflow Computation |
| title_fullStr | A Formal Model of Non-Determinate Dataflow Computation |
| title_full_unstemmed | A Formal Model of Non-Determinate Dataflow Computation |
| title_short | A Formal Model of Non-Determinate Dataflow Computation |
| title_sort | formal model of non determinate dataflow computation |
| url | https://hdl.handle.net/1721.1/149585 |
| work_keys_str_mv | AT brockjarvisdean aformalmodelofnondeterminatedataflowcomputation AT brockjarvisdean formalmodelofnondeterminatedataflowcomputation |