Timed frame models for discrete-time process algebras

A model for discrete time process algebra with relative timing is given by defining an interpretation of the constants and operators on timed frames. It is shown that the model which is obtained is isomorphic with a graph model for the same algebra.

Electronic version.