Actors and Continuous Functionals
This paper presents precise versions of some "laws" that must be satisfied by computations involving communicating parallel processes. The laws take the form of stating plausible restrictions on the histories of computations that are physically realizable .
| Main Authors: | , |
|---|---|
| Published: |
2023
|
| Online Access: | https://hdl.handle.net/1721.1/149483 |
| _version_ | 1826191548015968256 |
|---|---|
| author | Hewitt, Carl Baker, Henry Givens, Jr. |
| author_facet | Hewitt, Carl Baker, Henry Givens, Jr. |
| author_sort | Hewitt, Carl |
| collection | MIT |
| description | This paper presents precise versions of some "laws" that must be satisfied by computations involving communicating parallel processes. The laws take the form of stating plausible restrictions on the histories of computations that are physically realizable . |
| first_indexed | 2024-09-23T08:57:34Z |
| id | mit-1721.1/149483 |
| institution | Massachusetts Institute of Technology |
| last_indexed | 2024-09-23T08:57:34Z |
| publishDate | 2023 |
| record_format | dspace |
| spelling | mit-1721.1/1494832023-03-30T04:15:52Z Actors and Continuous Functionals Hewitt, Carl Baker, Henry Givens, Jr. This paper presents precise versions of some "laws" that must be satisfied by computations involving communicating parallel processes. The laws take the form of stating plausible restrictions on the histories of computations that are physically realizable . 2023-03-29T15:01:54Z 2023-03-29T15:01:54Z 1978-02 https://hdl.handle.net/1721.1/149483 04846576 MIT-LCS-TR-194 application/pdf |
| spellingShingle | Hewitt, Carl Baker, Henry Givens, Jr. Actors and Continuous Functionals |
| title | Actors and Continuous Functionals |
| title_full | Actors and Continuous Functionals |
| title_fullStr | Actors and Continuous Functionals |
| title_full_unstemmed | Actors and Continuous Functionals |
| title_short | Actors and Continuous Functionals |
| title_sort | actors and continuous functionals |
| url | https://hdl.handle.net/1721.1/149483 |
| work_keys_str_mv | AT hewittcarl actorsandcontinuousfunctionals AT bakerhenrygivensjr actorsandcontinuousfunctionals |