Keywords
AutomatonComputer scienceAutomata theoryTimed automatonTheoretical computer scienceMathematicsProgramming language
Affiliated Institutions
Related Publications
The Kokkos EcoSystem: Comprehensive Performance Portability for High Performance Computing
State of the art Engineering and Science codes have grown in complexity dramatically over the last two decades. As a consequence application teams have adopted more sophisticate...
An investigation of the psychological processes underlying the debugging of computer programs
The primary objective of this thesis is to contribute to a theory of programmer expertise with respect to debugging computer programs. It is important to develop a theory of pro...
Structure and Interpretation of Computer Programs
"The Structure and Interpretation of Computer Programs" is the entry-level subject in Computer Science at the Massachusetts Institute of Technology. It is required of all studen...
Publication Info
- Year
- 1994
- Type
- article
- Volume
- 126
- Issue
- 2
- Pages
- 183-235
- Citations
- 6387
- Access
- Closed
External Links
Social Impact
Altmetric
PlumX Metrics
Social media, news, blog, policy document mentions
Citation Metrics
6387
OpenAlex
981
Influential
4650
CrossRef
Cite This
Rajeev Alur,
David L. Dill
(1994).
A theory of timed automata.
Theoretical Computer Science
, 126
(2)
, 183-235.
https://doi.org/10.1016/0304-3975(94)90010-8
Identifiers
- DOI
- 10.1016/0304-3975(94)90010-8