Matches in SemOpenAlex for { <https://semopenalex.org/work/W101993386> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W101993386 endingPage "466" @default.
- W101993386 startingPage "451" @default.
- W101993386 abstract "We introduce notions of simulation between semiring-weighted automata as models of quantitative systems. Our simulations are instances of the categorical/coalgebraic notions previously studied by Hasuo—hence soundness wrt. language inclusion comes for free—but are concretely presented as matrices that are subject to linear inequality constraints. Pervasiveness of these formalisms allows us to exploit existing algorithms in: searching for a simulation, and hence verifying quantitative correctness that is formulated as language inclusion. Transformations of automata that aid search for simulations are introduced, too. This verification workflow is implemented for the plus-times and max-plus semirings." @default.
- W101993386 created "2016-06-24" @default.
- W101993386 creator A5013382452 @default.
- W101993386 creator A5057371246 @default.
- W101993386 date "2014-01-01" @default.
- W101993386 modified "2023-10-18" @default.
- W101993386 title "Generic Forward and Backward Simulations III: Quantitative Simulations by Matrices" @default.
- W101993386 cites W1497067119 @default.
- W101993386 cites W1592061669 @default.
- W101993386 cites W1728602962 @default.
- W101993386 cites W1936778259 @default.
- W101993386 cites W1967389018 @default.
- W101993386 cites W1971499713 @default.
- W101993386 cites W1978884755 @default.
- W101993386 cites W2006889545 @default.
- W101993386 cites W2019671021 @default.
- W101993386 cites W2026128612 @default.
- W101993386 cites W2027671360 @default.
- W101993386 cites W2064284596 @default.
- W101993386 cites W2075609824 @default.
- W101993386 cites W2083770991 @default.
- W101993386 cites W2095082073 @default.
- W101993386 cites W2104717233 @default.
- W101993386 cites W2124315269 @default.
- W101993386 cites W2157261308 @default.
- W101993386 cites W22667845 @default.
- W101993386 cites W2328819335 @default.
- W101993386 cites W3099589436 @default.
- W101993386 cites W3101634683 @default.
- W101993386 cites W85883491 @default.
- W101993386 cites W1518171473 @default.
- W101993386 doi "https://doi.org/10.1007/978-3-662-44584-6_31" @default.
- W101993386 hasPublicationYear "2014" @default.
- W101993386 type Work @default.
- W101993386 sameAs 101993386 @default.
- W101993386 citedByCount "11" @default.
- W101993386 countsByYear W1019933862015 @default.
- W101993386 countsByYear W1019933862016 @default.
- W101993386 countsByYear W1019933862017 @default.
- W101993386 countsByYear W1019933862019 @default.
- W101993386 countsByYear W1019933862021 @default.
- W101993386 crossrefType "book-chapter" @default.
- W101993386 hasAuthorship W101993386A5013382452 @default.
- W101993386 hasAuthorship W101993386A5057371246 @default.
- W101993386 hasConcept C112505250 @default.
- W101993386 hasConcept C11413529 @default.
- W101993386 hasConcept C118615104 @default.
- W101993386 hasConcept C153269930 @default.
- W101993386 hasConcept C171018156 @default.
- W101993386 hasConcept C177212765 @default.
- W101993386 hasConcept C199360897 @default.
- W101993386 hasConcept C21696900 @default.
- W101993386 hasConcept C2524010 @default.
- W101993386 hasConcept C33923547 @default.
- W101993386 hasConcept C39920170 @default.
- W101993386 hasConcept C41008148 @default.
- W101993386 hasConcept C55439883 @default.
- W101993386 hasConcept C77088390 @default.
- W101993386 hasConcept C80444323 @default.
- W101993386 hasConceptScore W101993386C112505250 @default.
- W101993386 hasConceptScore W101993386C11413529 @default.
- W101993386 hasConceptScore W101993386C118615104 @default.
- W101993386 hasConceptScore W101993386C153269930 @default.
- W101993386 hasConceptScore W101993386C171018156 @default.
- W101993386 hasConceptScore W101993386C177212765 @default.
- W101993386 hasConceptScore W101993386C199360897 @default.
- W101993386 hasConceptScore W101993386C21696900 @default.
- W101993386 hasConceptScore W101993386C2524010 @default.
- W101993386 hasConceptScore W101993386C33923547 @default.
- W101993386 hasConceptScore W101993386C39920170 @default.
- W101993386 hasConceptScore W101993386C41008148 @default.
- W101993386 hasConceptScore W101993386C55439883 @default.
- W101993386 hasConceptScore W101993386C77088390 @default.
- W101993386 hasConceptScore W101993386C80444323 @default.
- W101993386 hasLocation W1019933861 @default.
- W101993386 hasOpenAccess W101993386 @default.
- W101993386 hasPrimaryLocation W1019933861 @default.
- W101993386 hasRelatedWork W1188080205 @default.
- W101993386 hasRelatedWork W142519030 @default.
- W101993386 hasRelatedWork W1537758272 @default.
- W101993386 hasRelatedWork W1585036716 @default.
- W101993386 hasRelatedWork W1885991348 @default.
- W101993386 hasRelatedWork W2002878601 @default.
- W101993386 hasRelatedWork W2388226330 @default.
- W101993386 hasRelatedWork W2518552594 @default.
- W101993386 hasRelatedWork W2523485023 @default.
- W101993386 hasRelatedWork W4225476138 @default.
- W101993386 isParatext "false" @default.
- W101993386 isRetracted "false" @default.
- W101993386 magId "101993386" @default.
- W101993386 workType "book-chapter" @default.