Show simple item record

dc.contributor.authorHewitt, Carlen_US
dc.contributor.authorJong, Peter deen_US
dc.date.accessioned2004-10-01T20:18:10Z
dc.date.available2004-10-01T20:18:10Z
dc.date.issued1983-04-01en_US
dc.identifier.otherAIM-727en_US
dc.identifier.urihttp://hdl.handle.net/1721.1/5649
dc.description.abstractThis 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.en_US
dc.format.extent15 p.en_US
dc.format.extent1071877 bytes
dc.format.extent842590 bytes
dc.format.mimetypeapplication/postscript
dc.format.mimetypeapplication/pdf
dc.language.isoen_US
dc.relation.ispartofseriesAIM-727en_US
dc.subjectopen systemsen_US
dc.subjectconcurrent systemen_US
dc.subjectmessage passing semanticsen_US
dc.subjectsdistributed systemsen_US
dc.subjectlambda calculusen_US
dc.subjectfirst order logicen_US
dc.subjectactor theoryen_US
dc.subjectsdescription and actionen_US
dc.titleAnalyzing the Roles of Descriptions and Actions in Open Systemsen_US


Files in this item

Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record