| dc.creator |
Hewitt, Carl |
|
| dc.creator |
Jong, Peter de |
|
| dc.date |
2004-10-01T20:18:10Z |
|
| dc.date |
2004-10-01T20:18:10Z |
|
| dc.date |
1983-04-01 |
|
| dc.date.accessioned |
2013-10-09T02:40:33Z |
|
| dc.date.available |
2013-10-09T02:40:33Z |
|
| dc.date.issued |
2013-10-09 |
|
| dc.identifier |
AIM-727 |
|
| dc.identifier |
http://hdl.handle.net/1721.1/5649 |
|
| dc.identifier.uri |
http://koha.mediu.edu.my:8181/xmlui/handle/1721 |
|
| dc.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. |
|
| dc.format |
15 p. |
|
| dc.format |
1071877 bytes |
|
| dc.format |
842590 bytes |
|
| dc.format |
application/postscript |
|
| dc.format |
application/pdf |
|
| dc.language |
en_US |
|
| dc.relation |
AIM-727 |
|
| dc.subject |
open systems |
|
| dc.subject |
concurrent system |
|
| dc.subject |
message passing semantics |
|
| dc.subject |
sdistributed systems |
|
| dc.subject |
lambda calculus |
|
| dc.subject |
first order logic |
|
| dc.subject |
actor theory |
|
| dc.subject |
sdescription and action |
|
| dc.title |
Analyzing the Roles of Descriptions and Actions in Open Systems |
|