PRG Technical Report TR-3-95

Programming Research Group Technical Report TR-3-95

Infinite behaviours in the Temporal Agent Model

February 1995, 8pp.

In this paper we extend the Temporal Agent Model [SZJ94] so as to be able to reason about infinite agents. We augment the syntax with an infinite iteration operator, and extend the semantic model so as to allow reasoning about non-terminating executions.

Reference

[SZJ94] D Scholefield, H Zedan, and He Jifeng. A specification oriented semantics for the refinement of real-time system. Theoretical Computer Science, 131(1), 1994.

This paper is available as a 80,587 byte gzipped PostScript file.