Matches in SemOpenAlex for { <https://semopenalex.org/work/W2076608736> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2076608736 endingPage "527" @default.
- W2076608736 startingPage "503" @default.
- W2076608736 abstract "We introduce Concurrent Timed Automata ( CTA s) where automata running in parallel are synchronized. We consider the subclasses of CTA s 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." @default.
- W2076608736 created "2016-06-24" @default.
- W2076608736 creator A5060188970 @default.
- W2076608736 creator A5085606339 @default.
- W2076608736 creator A5090347665 @default.
- W2076608736 date "2003-12-01" @default.
- W2076608736 modified "2023-09-29" @default.
- W2076608736 title "Concurrency in timed automata" @default.
- W2076608736 cites W1547243468 @default.
- W2076608736 cites W1569936610 @default.
- W2076608736 cites W1571330180 @default.
- W2076608736 cites W1589336320 @default.
- W2076608736 cites W1802815008 @default.
- W2076608736 cites W1846929317 @default.
- W2076608736 cites W2101508170 @default.
- W2076608736 cites W2107552120 @default.
- W2076608736 doi "https://doi.org/10.1016/s0304-3975(03)00316-5" @default.
- W2076608736 hasPublicationYear "2003" @default.
- W2076608736 type Work @default.
- W2076608736 sameAs 2076608736 @default.
- W2076608736 citedByCount "5" @default.
- W2076608736 countsByYear W20766087362012 @default.
- W2076608736 crossrefType "journal-article" @default.
- W2076608736 hasAuthorship W2076608736A5060188970 @default.
- W2076608736 hasAuthorship W2076608736A5085606339 @default.
- W2076608736 hasAuthorship W2076608736A5090347665 @default.
- W2076608736 hasBestOaLocation W20766087362 @default.
- W2076608736 hasConcept C112505250 @default.
- W2076608736 hasConcept C11413529 @default.
- W2076608736 hasConcept C116248031 @default.
- W2076608736 hasConcept C118615104 @default.
- W2076608736 hasConcept C121329065 @default.
- W2076608736 hasConcept C127413603 @default.
- W2076608736 hasConcept C130367717 @default.
- W2076608736 hasConcept C146978453 @default.
- W2076608736 hasConcept C167822520 @default.
- W2076608736 hasConcept C174327141 @default.
- W2076608736 hasConcept C193702766 @default.
- W2076608736 hasConcept C199360897 @default.
- W2076608736 hasConcept C2524010 @default.
- W2076608736 hasConcept C2776493592 @default.
- W2076608736 hasConcept C2777027219 @default.
- W2076608736 hasConcept C30788636 @default.
- W2076608736 hasConcept C33923547 @default.
- W2076608736 hasConcept C41008148 @default.
- W2076608736 hasConcept C64543145 @default.
- W2076608736 hasConcept C65753522 @default.
- W2076608736 hasConcept C80444323 @default.
- W2076608736 hasConcept C92710233 @default.
- W2076608736 hasConceptScore W2076608736C112505250 @default.
- W2076608736 hasConceptScore W2076608736C11413529 @default.
- W2076608736 hasConceptScore W2076608736C116248031 @default.
- W2076608736 hasConceptScore W2076608736C118615104 @default.
- W2076608736 hasConceptScore W2076608736C121329065 @default.
- W2076608736 hasConceptScore W2076608736C127413603 @default.
- W2076608736 hasConceptScore W2076608736C130367717 @default.
- W2076608736 hasConceptScore W2076608736C146978453 @default.
- W2076608736 hasConceptScore W2076608736C167822520 @default.
- W2076608736 hasConceptScore W2076608736C174327141 @default.
- W2076608736 hasConceptScore W2076608736C193702766 @default.
- W2076608736 hasConceptScore W2076608736C199360897 @default.
- W2076608736 hasConceptScore W2076608736C2524010 @default.
- W2076608736 hasConceptScore W2076608736C2776493592 @default.
- W2076608736 hasConceptScore W2076608736C2777027219 @default.
- W2076608736 hasConceptScore W2076608736C30788636 @default.
- W2076608736 hasConceptScore W2076608736C33923547 @default.
- W2076608736 hasConceptScore W2076608736C41008148 @default.
- W2076608736 hasConceptScore W2076608736C64543145 @default.
- W2076608736 hasConceptScore W2076608736C65753522 @default.
- W2076608736 hasConceptScore W2076608736C80444323 @default.
- W2076608736 hasConceptScore W2076608736C92710233 @default.
- W2076608736 hasIssue "1-3" @default.
- W2076608736 hasLocation W20766087361 @default.
- W2076608736 hasLocation W20766087362 @default.
- W2076608736 hasOpenAccess W2076608736 @default.
- W2076608736 hasPrimaryLocation W20766087361 @default.
- W2076608736 hasRelatedWork W131394547 @default.
- W2076608736 hasRelatedWork W1423874546 @default.
- W2076608736 hasRelatedWork W2004898185 @default.
- W2076608736 hasRelatedWork W2076608736 @default.
- W2076608736 hasRelatedWork W2083002627 @default.
- W2076608736 hasRelatedWork W2154291721 @default.
- W2076608736 hasRelatedWork W2396272923 @default.
- W2076608736 hasRelatedWork W2770127456 @default.
- W2076608736 hasRelatedWork W3156558740 @default.
- W2076608736 hasRelatedWork W309405200 @default.
- W2076608736 hasVolume "309" @default.
- W2076608736 isParatext "false" @default.
- W2076608736 isRetracted "false" @default.
- W2076608736 magId "2076608736" @default.
- W2076608736 workType "article" @default.