Programming Research Group
Technical Report TR-3-95
Infinite behaviours in the Temporal Agent Model
Gavin Lowe
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.