| Algebra of Timed Frames (1995) | |||||||||||||||
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. Keywords & Phrases: discrete time, frame algebra, process algebra, conditional transitions, signal inserted states, timed frames, oe-bisimulation. 1994 CR Categories: F.1.1, F.3.1, F.3.2, D.1.3, D.3.1. Contents 1 Introduction 1 2 Preliminaries 2 2.1 Simple frames : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 2 2.2 Signal inserted frames... | |||||||||||||||
Publication details | |||||||||||||||
| |||||||||||||||