Matches in SemOpenAlex for { <https://semopenalex.org/work/W2109303224> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2109303224 endingPage "59" @default.
- W2109303224 startingPage "48" @default.
- W2109303224 abstract "We introduce dynamic communicating automata (DCA), an extension of communicating finite-state machines that allows for dynamic creation of processes. Their behavior can be described as sets of message sequence charts (MSCs). We consider the realizability problem for DCA: given a dynamic MSC grammar (a high-level MSC specification), is there a DCA defining the same set of MSCs? We show that this problem is decidable in doubly exponential time, and identify a class of realizable grammars that can be implemented by finite DCA." @default.
- W2109303224 created "2016-06-24" @default.
- W2109303224 creator A5082538918 @default.
- W2109303224 creator A5091425757 @default.
- W2109303224 date "2010-01-01" @default.
- W2109303224 modified "2023-09-25" @default.
- W2109303224 title "Realizability of Dynamic MSC Languages" @default.
- W2109303224 cites W1532347799 @default.
- W2109303224 cites W1882105853 @default.
- W2109303224 cites W2024194828 @default.
- W2109303224 cites W2025970201 @default.
- W2109303224 cites W2079013910 @default.
- W2109303224 cites W2095101151 @default.
- W2109303224 cites W2109303224 @default.
- W2109303224 cites W2146742781 @default.
- W2109303224 cites W2151369927 @default.
- W2109303224 cites W2166159524 @default.
- W2109303224 cites W2920608874 @default.
- W2109303224 cites W4248796439 @default.
- W2109303224 doi "https://doi.org/10.1007/978-3-642-13182-0_5" @default.
- W2109303224 hasPublicationYear "2010" @default.
- W2109303224 type Work @default.
- W2109303224 sameAs 2109303224 @default.
- W2109303224 citedByCount "14" @default.
- W2109303224 countsByYear W21093032242012 @default.
- W2109303224 countsByYear W21093032242013 @default.
- W2109303224 countsByYear W21093032242014 @default.
- W2109303224 countsByYear W21093032242015 @default.
- W2109303224 countsByYear W21093032242016 @default.
- W2109303224 countsByYear W21093032242017 @default.
- W2109303224 crossrefType "book-chapter" @default.
- W2109303224 hasAuthorship W2109303224A5082538918 @default.
- W2109303224 hasAuthorship W2109303224A5091425757 @default.
- W2109303224 hasBestOaLocation W21093032242 @default.
- W2109303224 hasConcept C112505250 @default.
- W2109303224 hasConcept C134306372 @default.
- W2109303224 hasConcept C138885662 @default.
- W2109303224 hasConcept C153269930 @default.
- W2109303224 hasConcept C154945302 @default.
- W2109303224 hasConcept C162392398 @default.
- W2109303224 hasConcept C167822520 @default.
- W2109303224 hasConcept C177264268 @default.
- W2109303224 hasConcept C199360897 @default.
- W2109303224 hasConcept C26022165 @default.
- W2109303224 hasConcept C2776378722 @default.
- W2109303224 hasConcept C2777212361 @default.
- W2109303224 hasConcept C2778029271 @default.
- W2109303224 hasConcept C33923547 @default.
- W2109303224 hasConcept C41008148 @default.
- W2109303224 hasConcept C41895202 @default.
- W2109303224 hasConcept C53893814 @default.
- W2109303224 hasConcept C80444323 @default.
- W2109303224 hasConceptScore W2109303224C112505250 @default.
- W2109303224 hasConceptScore W2109303224C134306372 @default.
- W2109303224 hasConceptScore W2109303224C138885662 @default.
- W2109303224 hasConceptScore W2109303224C153269930 @default.
- W2109303224 hasConceptScore W2109303224C154945302 @default.
- W2109303224 hasConceptScore W2109303224C162392398 @default.
- W2109303224 hasConceptScore W2109303224C167822520 @default.
- W2109303224 hasConceptScore W2109303224C177264268 @default.
- W2109303224 hasConceptScore W2109303224C199360897 @default.
- W2109303224 hasConceptScore W2109303224C26022165 @default.
- W2109303224 hasConceptScore W2109303224C2776378722 @default.
- W2109303224 hasConceptScore W2109303224C2777212361 @default.
- W2109303224 hasConceptScore W2109303224C2778029271 @default.
- W2109303224 hasConceptScore W2109303224C33923547 @default.
- W2109303224 hasConceptScore W2109303224C41008148 @default.
- W2109303224 hasConceptScore W2109303224C41895202 @default.
- W2109303224 hasConceptScore W2109303224C53893814 @default.
- W2109303224 hasConceptScore W2109303224C80444323 @default.
- W2109303224 hasLocation W21093032241 @default.
- W2109303224 hasLocation W21093032242 @default.
- W2109303224 hasLocation W21093032243 @default.
- W2109303224 hasLocation W21093032244 @default.
- W2109303224 hasOpenAccess W2109303224 @default.
- W2109303224 hasPrimaryLocation W21093032241 @default.
- W2109303224 hasRelatedWork W1546490938 @default.
- W2109303224 hasRelatedWork W2039192691 @default.
- W2109303224 hasRelatedWork W2109303224 @default.
- W2109303224 hasRelatedWork W2185835218 @default.
- W2109303224 hasRelatedWork W2330741840 @default.
- W2109303224 hasRelatedWork W2964131994 @default.
- W2109303224 hasRelatedWork W4302160792 @default.
- W2109303224 hasRelatedWork W4307382118 @default.
- W2109303224 hasRelatedWork W1578134287 @default.
- W2109303224 hasRelatedWork W2565129788 @default.
- W2109303224 isParatext "false" @default.
- W2109303224 isRetracted "false" @default.
- W2109303224 magId "2109303224" @default.
- W2109303224 workType "book-chapter" @default.