Matches in SemOpenAlex for { <https://semopenalex.org/work/W204941299> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W204941299 abstract "This paper deals with the problem of the parallel composition construction for two Timed Finite State Machines (TFSMs). As a key to the solution of this problem we use parallel composition of common Finite State Machines (FSMs). We transform given TFSMs to FSMs and prove theorem, that obtained FSMs correctly describe behaviour of the given TFSMs. Then we build parallel composition of these FSMs, which being transformed back to TFSM, gives desired parallel composition of the given TFSMs." @default.
- W204941299 created "2016-06-24" @default.
- W204941299 creator A5022487674 @default.
- W204941299 creator A5023320622 @default.
- W204941299 date "2011-01-01" @default.
- W204941299 modified "2023-09-23" @default.
- W204941299 title "The Parallel Composition of Timed Finite State Machines" @default.
- W204941299 cites W152747937 @default.
- W204941299 cites W1608876340 @default.
- W204941299 cites W1768003599 @default.
- W204941299 cites W1990687584 @default.
- W204941299 cites W2056102643 @default.
- W204941299 cites W2112640524 @default.
- W204941299 doi "https://doi.org/10.15514/syrcose-2011-5-16" @default.
- W204941299 hasPublicationYear "2011" @default.
- W204941299 type Work @default.
- W204941299 sameAs 204941299 @default.
- W204941299 citedByCount "1" @default.
- W204941299 countsByYear W2049412992017 @default.
- W204941299 crossrefType "proceedings-article" @default.
- W204941299 hasAuthorship W204941299A5022487674 @default.
- W204941299 hasAuthorship W204941299A5023320622 @default.
- W204941299 hasBestOaLocation W2049412991 @default.
- W204941299 hasConcept C119857082 @default.
- W204941299 hasConcept C138885662 @default.
- W204941299 hasConcept C167822520 @default.
- W204941299 hasConcept C173608175 @default.
- W204941299 hasConcept C199360897 @default.
- W204941299 hasConcept C2983497884 @default.
- W204941299 hasConcept C40231798 @default.
- W204941299 hasConcept C41008148 @default.
- W204941299 hasConcept C41895202 @default.
- W204941299 hasConcept C48103436 @default.
- W204941299 hasConcept C80444323 @default.
- W204941299 hasConcept C98763669 @default.
- W204941299 hasConceptScore W204941299C119857082 @default.
- W204941299 hasConceptScore W204941299C138885662 @default.
- W204941299 hasConceptScore W204941299C167822520 @default.
- W204941299 hasConceptScore W204941299C173608175 @default.
- W204941299 hasConceptScore W204941299C199360897 @default.
- W204941299 hasConceptScore W204941299C2983497884 @default.
- W204941299 hasConceptScore W204941299C40231798 @default.
- W204941299 hasConceptScore W204941299C41008148 @default.
- W204941299 hasConceptScore W204941299C41895202 @default.
- W204941299 hasConceptScore W204941299C48103436 @default.
- W204941299 hasConceptScore W204941299C80444323 @default.
- W204941299 hasConceptScore W204941299C98763669 @default.
- W204941299 hasLocation W2049412991 @default.
- W204941299 hasOpenAccess W204941299 @default.
- W204941299 hasPrimaryLocation W2049412991 @default.
- W204941299 hasRelatedWork W1558299035 @default.
- W204941299 hasRelatedWork W1964294637 @default.
- W204941299 hasRelatedWork W1991075301 @default.
- W204941299 hasRelatedWork W204941299 @default.
- W204941299 hasRelatedWork W2103029213 @default.
- W204941299 hasRelatedWork W2169837502 @default.
- W204941299 hasRelatedWork W2488460843 @default.
- W204941299 hasRelatedWork W2972471777 @default.
- W204941299 hasRelatedWork W3087756144 @default.
- W204941299 hasRelatedWork W4301035209 @default.
- W204941299 isParatext "false" @default.
- W204941299 isRetracted "false" @default.
- W204941299 magId "204941299" @default.
- W204941299 workType "article" @default.