Filtern
Erscheinungsjahr
- 1999 (1)
Dokumenttyp
- Preprint (1)
Sprache
- Englisch (1)
Volltext vorhanden
- ja (1)
Schlagworte
- system behaviour (1) (entfernen)
Fachbereich / Organisatorische Einheit
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.