Complete and Infinite Traces: A descriptive model of computing agents

Van Horn, Kevin S. (1986) Complete and Infinite Traces: A descriptive model of computing agents. Technical Report. California Institute of Technology. [CaltechCSTR:1986.5207-tr-86]

Full text available as:

PDF - Requires Adobe Acrobat Reader or other PDF viewer.

Abstract

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.

EPrint Type:	Monograph (Technical Report)
Subjects:	All Records
ID Code:	296
Deposited By:	Caltech Library System
Deposited On:	30 November 2001
Record Number:	CaltechCSTR:1986.5207-tr-86
Official Persistent URL:	http://resolver.caltech.edu/CaltechCSTR:1986.5207-tr-86
Usage Policy:	You are granted permission for individual, educational, research and non-commercial reproduction, distribution, display and performance of this work in any format.

Archive Staff Only: edit this record