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
... read more