Back to Search
Start Over
Concurrency in timed automata
- Source :
-
Theoretical Computer Science . Dec2003, Vol. 309 Issue 1-3, p503. 25p. - Publication Year :
- 2003
-
Abstract
- We introduce Concurrent Timed Automata <f>(CTAs)</f> where automata running in parallel are synchronized. We consider the subclasses of <f>CTAs</f> obtained by admitting, or not, diagonal clock constraints and constant updates, and by letting, or not, sequential automata to update the same clocks. We prove that such subclasses recognize the same languages but differ w.r.t. the succinctness of the models. Moreover, we distinguish between subclasses that are polynomially closed w.r.t. finite union and finite intersection, and subclasses that do not have such properties. [Copyright &y& Elsevier]
- Subjects :
- *MACHINE theory
*MATHEMATICAL models
*RECURSIVE functions
*MATHEMATICAL logic
Subjects
Details
- Language :
- English
- ISSN :
- 03043975
- Volume :
- 309
- Issue :
- 1-3
- Database :
- Academic Search Index
- Journal :
- Theoretical Computer Science
- Publication Type :
- Academic Journal
- Accession number :
- 11402170
- Full Text :
- https://doi.org/10.1016/S0304-3975(03)00316-5