This paper analyzes relationships between the roles of descriptions and actions in large scale, open ended, geographically distributed, concurrent systems. Rather than attempt to deal with the complexities and ambiguities of currently implemented descriptive languages, we concentrate our analysis on what can be expressed in the underlying frameworks such as the lambda calculus and first order logic. By this means we conclude that descriptions and actions complement one another: neither being sufficient unto itself. This paper provides a basis to begin the analysis of the very subtle relationships that hold between descriptions and actions in Open Systems.
| Identifer | oai:union.ndltd.org:MIT/oai:dspace.mit.edu:1721.1/5649 |
| Date | 01 April 1983 |
| Creators | Hewitt, Carl, Jong, Peter de |
| Source Sets | M.I.T. Theses and Dissertation |
| Language | en_US |
| Detected Language | English |
| Format | 15 p., 1071877 bytes, 842590 bytes, application/postscript, application/pdf |
| Relation | AIM-727 |
Page generated in 0.0021 seconds