Analyzing the Roles of Descriptions and Actions in Open Systems
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...
Main Authors: | , |
---|---|
Language: | en_US |
Published: |
2004
|
Subjects: | |
Online Access: | http://hdl.handle.net/1721.1/5649 |
_version_ | 1811095159175118848 |
---|---|
author | Hewitt, Carl Jong, Peter de |
author_facet | Hewitt, Carl Jong, Peter de |
author_sort | Hewitt, Carl |
collection | MIT |
description | 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. |
first_indexed | 2024-09-23T16:11:35Z |
id | mit-1721.1/5649 |
institution | Massachusetts Institute of Technology |
language | en_US |
last_indexed | 2024-09-23T16:11:35Z |
publishDate | 2004 |
record_format | dspace |
spelling | mit-1721.1/56492019-04-10T16:35:28Z Analyzing the Roles of Descriptions and Actions in Open Systems Hewitt, Carl Jong, Peter de open systems concurrent system message passing semantics sdistributed systems lambda calculus first order logic actor theory sdescription and action 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. 2004-10-01T20:18:10Z 2004-10-01T20:18:10Z 1983-04-01 AIM-727 http://hdl.handle.net/1721.1/5649 en_US AIM-727 15 p. 1071877 bytes 842590 bytes application/postscript application/pdf application/postscript application/pdf |
spellingShingle | open systems concurrent system message passing semantics sdistributed systems lambda calculus first order logic actor theory sdescription and action Hewitt, Carl Jong, Peter de Analyzing the Roles of Descriptions and Actions in Open Systems |
title | Analyzing the Roles of Descriptions and Actions in Open Systems |
title_full | Analyzing the Roles of Descriptions and Actions in Open Systems |
title_fullStr | Analyzing the Roles of Descriptions and Actions in Open Systems |
title_full_unstemmed | Analyzing the Roles of Descriptions and Actions in Open Systems |
title_short | Analyzing the Roles of Descriptions and Actions in Open Systems |
title_sort | analyzing the roles of descriptions and actions in open systems |
topic | open systems concurrent system message passing semantics sdistributed systems lambda calculus first order logic actor theory sdescription and action |
url | http://hdl.handle.net/1721.1/5649 |
work_keys_str_mv | AT hewittcarl analyzingtherolesofdescriptionsandactionsinopensystems AT jongpeterde analyzingtherolesofdescriptionsandactionsinopensystems |