223
click to vote
ARTS
1999
Springer
16 years 12 days ago
1999
Springer
In this paper we study the issue of progress for distributed timed systems modeled as the parallel composition of timed automata. We clarify the requirements of discrete progress (...