Temporal Structures
Published in Lecture notes in computer science • Jul 1, 1991
NobleIDNI0P47W62R98S42
Authors:,,
Ross Casley
Roger F. Crew
José Meseguer
Abstract
We have been developing a process specification language PSL based on an algebra of labeled partial orders. The order encodes temporal precedence of events, and the event labels represent the actions performed. In this paper we extend this basis to encompass other temporal metrics by generalizing pa...
Subject
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!