Van Horn, Kevin S. (1986) Complete and Infinite Traces: A descriptive model of computing agents. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1986.5207-tr-86
See Usage Policy.
Use this Persistent URL to link to this item: http://resolver.caltech.edu/CaltechCSTR:1986.5207-tr-86
A model of computing agents is presented. Computing agents are modeled as processes, which are essentially sets of traces representing possible complete sequences of actions performed by an agent and its environment. Some technical difficulties with infinite traces are resolved, with the result that one may take the parallel composition of any countable set of processes, after possibly renaming some symbols.
|Item Type:||Report or Paper (Technical Report)|
|Group:||Computer Science Technical Reports|
|Usage Policy:||You are granted permission for individual, educational, research and non-commercial reproduction, distribution, display and performance of this work in any format.|
|Deposited By:||Imported from CaltechCSTR|
|Deposited On:||30 Nov 2001|
|Last Modified:||26 Dec 2012 14:09|
Repository Staff Only: item control page