T C C

Current state and perspectives of development of the theory of timed languages are analyzed. A large list of open problems is suggested. 1 Why study timed systems? In most cases computer science deals with sequences of events or actions (we will call thembehaviors). Powerful formalisms have been developed to express sets or trees of such sequences (various… CONTINUE READING