Sciweavers

3653 search results - page 30 / 731
» On Recognizable Timed Languages
Sort
View
130
Voted
CONCUR
2001
Springer
15 years 9 months ago
An Algebraic Characterization of Data and Timed Languages
Patricia Bouyer, Antoine Petit, Denis Théri...
HYBRID
2001
Springer
15 years 9 months ago
Hybrid Abstractions that Preserve Timed Languages
Paulo Tabuada, George J. Pappas
118
Voted
ICECCS
1997
IEEE
84views Hardware» more  ICECCS 1997»
15 years 9 months ago
A Language Support Environment for Complex Distributed Real-Time Applications
Alexander D. Stoyen, Thomas J. Marlowe, Mohamed F....
114
Voted
FOCS
1992
IEEE
15 years 9 months ago
Back to the Future: Towards a Theory of Timed Regular Languages
Rajeev Alur, Thomas A. Henzinger