ICS PAS Report 671. Warsaw, Poland: Polish Academy of Sciences, Institut of Computer Science, November 1989.
Abstract: Behaviours of real time systems, called timed behaviours, are considered. A mathematical model for such behaviours is developed using a variant of labelled event sructures. A compositional method of defining the timed behaviours of compound concurrent real time systems from the behaviours of their components is presented. A concept of equivalence of timed behaviours is introduced.
Keywords: timed behaviour; algebraic model; labelled event structure; compositional method.