Browsing by Subject "lambda calculus"
Now showing items 1-1 of 1
-
Analyzing the Roles of Descriptions and Actions in Open Systems
(1983-04-01)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 ...