JACM
2002
15 years 3 months ago
2002
125
click to vote
JACM
2002
15 years 3 months ago
2002
In this paper we define timed regular expressions, a formalism for specifying discrete behaviors augmented with timing information, and prove that its expressive power is equivale...