Matches in SemOpenAlex for { <https://semopenalex.org/work/W1490804831> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W1490804831 endingPage "346" @default.
- W1490804831 startingPage "332" @default.
- W1490804831 abstract "Hierarchical Message Sequence Charts are a well-established formalism to specify telecommunication protocols. In this model, numerous undecidability results were obtained recently through algebraic approaches or relationships to Mazurkiewicz trace theory. We show how to check whether a rational language of MSCs requires only channels of finite capacity. In that case, we also provide an upper bound for the size of the channels. This enables us to prove our main result: one can decide whether the iteration of a given regular language of MSCs is regular if, and only if, the Star Problem in trace monoids (over some restricted independence alphabets) is decidable too." @default.
- W1490804831 created "2016-06-24" @default.
- W1490804831 creator A5033847526 @default.
- W1490804831 date "2001-01-01" @default.
- W1490804831 modified "2023-09-25" @default.
- W1490804831 title "On Regular Message Sequence Chart Languages and Relationships to Mazurkiewicz Trace Theory" @default.
- W1490804831 cites W134868944 @default.
- W1490804831 cites W1486212022 @default.
- W1490804831 cites W1497714327 @default.
- W1490804831 cites W1511714024 @default.
- W1490804831 cites W1512484645 @default.
- W1490804831 cites W1529497146 @default.
- W1490804831 cites W1536187905 @default.
- W1490804831 cites W1574587683 @default.
- W1490804831 cites W1589531268 @default.
- W1490804831 cites W1595472131 @default.
- W1490804831 cites W1597882372 @default.
- W1490804831 cites W1605883930 @default.
- W1490804831 cites W1750379273 @default.
- W1490804831 cites W1767676527 @default.
- W1490804831 cites W1952030784 @default.
- W1490804831 cites W2001042198 @default.
- W1490804831 cites W2034083679 @default.
- W1490804831 cites W2148722937 @default.
- W1490804831 cites W2150320481 @default.
- W1490804831 cites W2159319094 @default.
- W1490804831 cites W3137220996 @default.
- W1490804831 cites W4205178514 @default.
- W1490804831 doi "https://doi.org/10.1007/3-540-45315-6_22" @default.
- W1490804831 hasPublicationYear "2001" @default.
- W1490804831 type Work @default.
- W1490804831 sameAs 1490804831 @default.
- W1490804831 citedByCount "16" @default.
- W1490804831 countsByYear W14908048312012 @default.
- W1490804831 countsByYear W14908048312013 @default.
- W1490804831 countsByYear W14908048312022 @default.
- W1490804831 crossrefType "book-chapter" @default.
- W1490804831 hasAuthorship W1490804831A5033847526 @default.
- W1490804831 hasBestOaLocation W14908048311 @default.
- W1490804831 hasConcept C105795698 @default.
- W1490804831 hasConcept C112505250 @default.
- W1490804831 hasConcept C134306372 @default.
- W1490804831 hasConcept C138885662 @default.
- W1490804831 hasConcept C142362112 @default.
- W1490804831 hasConcept C153269930 @default.
- W1490804831 hasConcept C153349607 @default.
- W1490804831 hasConcept C185592680 @default.
- W1490804831 hasConcept C2778112365 @default.
- W1490804831 hasConcept C33923547 @default.
- W1490804831 hasConcept C35651441 @default.
- W1490804831 hasConcept C41008148 @default.
- W1490804831 hasConcept C41895202 @default.
- W1490804831 hasConcept C52370388 @default.
- W1490804831 hasConcept C55493867 @default.
- W1490804831 hasConcept C558565934 @default.
- W1490804831 hasConcept C73301696 @default.
- W1490804831 hasConcept C75291252 @default.
- W1490804831 hasConcept C77553402 @default.
- W1490804831 hasConcept C80444323 @default.
- W1490804831 hasConcept C9376300 @default.
- W1490804831 hasConceptScore W1490804831C105795698 @default.
- W1490804831 hasConceptScore W1490804831C112505250 @default.
- W1490804831 hasConceptScore W1490804831C134306372 @default.
- W1490804831 hasConceptScore W1490804831C138885662 @default.
- W1490804831 hasConceptScore W1490804831C142362112 @default.
- W1490804831 hasConceptScore W1490804831C153269930 @default.
- W1490804831 hasConceptScore W1490804831C153349607 @default.
- W1490804831 hasConceptScore W1490804831C185592680 @default.
- W1490804831 hasConceptScore W1490804831C2778112365 @default.
- W1490804831 hasConceptScore W1490804831C33923547 @default.
- W1490804831 hasConceptScore W1490804831C35651441 @default.
- W1490804831 hasConceptScore W1490804831C41008148 @default.
- W1490804831 hasConceptScore W1490804831C41895202 @default.
- W1490804831 hasConceptScore W1490804831C52370388 @default.
- W1490804831 hasConceptScore W1490804831C55493867 @default.
- W1490804831 hasConceptScore W1490804831C558565934 @default.
- W1490804831 hasConceptScore W1490804831C73301696 @default.
- W1490804831 hasConceptScore W1490804831C75291252 @default.
- W1490804831 hasConceptScore W1490804831C77553402 @default.
- W1490804831 hasConceptScore W1490804831C80444323 @default.
- W1490804831 hasConceptScore W1490804831C9376300 @default.
- W1490804831 hasLocation W14908048311 @default.
- W1490804831 hasOpenAccess W1490804831 @default.
- W1490804831 hasPrimaryLocation W14908048311 @default.
- W1490804831 hasRelatedWork W1682069835 @default.
- W1490804831 hasRelatedWork W1838749210 @default.
- W1490804831 hasRelatedWork W1882105853 @default.
- W1490804831 hasRelatedWork W1972860236 @default.
- W1490804831 hasRelatedWork W1973370998 @default.
- W1490804831 hasRelatedWork W1984301931 @default.
- W1490804831 hasRelatedWork W2016607282 @default.
- W1490804831 hasRelatedWork W2135052823 @default.
- W1490804831 hasRelatedWork W2324865270 @default.
- W1490804831 hasRelatedWork W2399028252 @default.
- W1490804831 isParatext "false" @default.
- W1490804831 isRetracted "false" @default.
- W1490804831 magId "1490804831" @default.
- W1490804831 workType "book-chapter" @default.