A Clock-independent Model for Real-Time
F. Rößler, R. Gotzhein
SFB 501 Report 18/1996
Zusammenfassung
A new approach for modelling time that does not rely on the concept of a clock is proposed. In order to establish a notion of time, system behaviour is represented as a joint progression of multiple threads of control, which satisfies a certain set of axioms. We show that the clock-independent time model is related to the well-known concept of a global clock and argue that both approaches establish the same notion of time.
Vollversion
- ps.gz (47kb)
Übergeordnete Seite: Jahr 1996 | |
Feedback | |
Zu den Kontaktdetails des Verantwortlichen dieser Seite |
English | |
This page in english. Diese Seite auf englisch. |