A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
Towards the Refinement of Executable Temporal Objects
[chapter]
1997
IFIP Advances in Information and Communication Technology
Concurrent METATEM is a high-level language in which the behaviour of an individual reactive component is represented by a temporal logic formula and is animated by direct execution. The combination of this executable temporal formalism, together with an operational model providing asynchronous concurrency and broadcast message-passing, presents a powerful and flexible framework in which to develop concurrent object-based, particularly agent-based, applications. While Concurrent METATEM has
doi:10.1007/978-0-387-35261-9_30
fatcat:bf3ndzsb3rdrlgdwn5uop7n6ra