Abstract
Timed frames are introduced as objects that can form a basis of a model
theory for discrete time process algebra.
An algebraic setting for timed frames is proposed and results
concerning its connection with discrete time process algebra are given.
The presented theory of timed frames captures the basic algebraic
properties of timed transition systems for the relative time case.
Further structure on timed frames is provided by adding signal inserted
states and conditional transitions, thus giving a semantic basis for
discrete time process algebra with propositional signals.
Time conditions are introduced to cover the absolute time case.
Preprint available here.