FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1819534143> ?p ?o ?g. }

• W1819534143 endingPage "291" @default.
• W1819534143 startingPage "276" @default.
• W1819534143 abstract "AbstractEmbedded-systems designers often use transition system-based notations for specifying, with respect to some refinement preorder, sets of deterministic implementations. This paper compares popular such refinement settings — ranging from transition systems equipped with failure-pair inclusion to disjunctive modal transition systems — regarding the sets of implementations they are able to express. The paper’s main result is an expressiveness hierarchy, as well as language-preserving transformations between various settings. In addition to system designers, the main beneficiaries of this work are tool builders who wish to reuse refinement checkers or model checkers across different settings.KeywordsModel CheckTransition SystemExistence PredicateTool BuilderTrace InclusionThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
• W1819534143 created "2016-06-24" @default.
• W1819534143 creator A5008754104 @default.
• W1819534143 creator A5060497231 @default.
• W1819534143 creator A5074689659 @default.
• W1819534143 creator A5077617115 @default.
• W1819534143 date "2010-01-01" @default.
• W1819534143 modified "2023-10-01" @default.
• W1819534143 title "On the Expressiveness of Refinement Settings" @default.
• W1819534143 cites W1486156436 @default.
• W1819534143 cites W1503316778 @default.
• W1819534143 cites W1518419080 @default.
• W1819534143 cites W1539385324 @default.
• W1819534143 cites W1547562281 @default.
• W1819534143 cites W1566868946 @default.
• W1819534143 cites W1667182944 @default.
• W1819534143 cites W1966112122 @default.
• W1819534143 cites W1976268573 @default.
• W1819534143 cites W1978469611 @default.
• W1819534143 cites W2008781243 @default.
• W1819534143 cites W2062964969 @default.
• W1819534143 cites W2090106217 @default.
• W1819534143 cites W2102097307 @default.
• W1819534143 cites W2117519330 @default.
• W1819534143 cites W2121063006 @default.
• W1819534143 cites W2133959263 @default.
• W1819534143 cites W2144545266 @default.
• W1819534143 cites W2163123880 @default.
• W1819534143 cites W2205337852 @default.
• W1819534143 cites W2502084936 @default.
• W1819534143 cites W2913048148 @default.
• W1819534143 cites W30422404 @default.
• W1819534143 cites W4243637640 @default.
• W1819534143 doi "https://doi.org/10.1007/978-3-642-11623-0_16" @default.
• W1819534143 hasPublicationYear "2010" @default.
• W1819534143 type Work @default.
• W1819534143 sameAs 1819534143 @default.
• W1819534143 citedByCount "4" @default.
• W1819534143 countsByYear W18195341432012 @default.
• W1819534143 crossrefType "book-chapter" @default.
• W1819534143 hasAuthorship W1819534143A5008754104 @default.
• W1819534143 hasAuthorship W1819534143A5060497231 @default.
• W1819534143 hasAuthorship W1819534143A5074689659 @default.
• W1819534143 hasAuthorship W1819534143A5077617115 @default.
• W1819534143 hasConcept C115903868 @default.
• W1819534143 hasConcept C118615104 @default.
• W1819534143 hasConcept C162324750 @default.
• W1819534143 hasConcept C185592680 @default.
• W1819534143 hasConcept C188027245 @default.
• W1819534143 hasConcept C18903297 @default.
• W1819534143 hasConcept C199360897 @default.
• W1819534143 hasConcept C206588197 @default.
• W1819534143 hasConcept C2333172 @default.
• W1819534143 hasConcept C26713055 @default.
• W1819534143 hasConcept C2779167558 @default.
• W1819534143 hasConcept C31170391 @default.
• W1819534143 hasConcept C33923547 @default.
• W1819534143 hasConcept C34447519 @default.
• W1819534143 hasConcept C41008148 @default.
• W1819534143 hasConcept C45357846 @default.
• W1819534143 hasConcept C71139939 @default.
• W1819534143 hasConcept C80444323 @default.
• W1819534143 hasConcept C86803240 @default.
• W1819534143 hasConcept C94375191 @default.
• W1819534143 hasConceptScore W1819534143C115903868 @default.
• W1819534143 hasConceptScore W1819534143C118615104 @default.
• W1819534143 hasConceptScore W1819534143C162324750 @default.
• W1819534143 hasConceptScore W1819534143C185592680 @default.
• W1819534143 hasConceptScore W1819534143C188027245 @default.
• W1819534143 hasConceptScore W1819534143C18903297 @default.
• W1819534143 hasConceptScore W1819534143C199360897 @default.
• W1819534143 hasConceptScore W1819534143C206588197 @default.
• W1819534143 hasConceptScore W1819534143C2333172 @default.
• W1819534143 hasConceptScore W1819534143C26713055 @default.
• W1819534143 hasConceptScore W1819534143C2779167558 @default.
• W1819534143 hasConceptScore W1819534143C31170391 @default.
• W1819534143 hasConceptScore W1819534143C33923547 @default.
• W1819534143 hasConceptScore W1819534143C34447519 @default.
• W1819534143 hasConceptScore W1819534143C41008148 @default.
• W1819534143 hasConceptScore W1819534143C45357846 @default.
• W1819534143 hasConceptScore W1819534143C71139939 @default.
• W1819534143 hasConceptScore W1819534143C80444323 @default.
• W1819534143 hasConceptScore W1819534143C86803240 @default.
• W1819534143 hasConceptScore W1819534143C94375191 @default.
• W1819534143 hasLocation W18195341431 @default.
• W1819534143 hasOpenAccess W1819534143 @default.
• W1819534143 hasPrimaryLocation W18195341431 @default.
• W1819534143 hasRelatedWork W119792330 @default.
• W1819534143 hasRelatedWork W1575606589 @default.
• W1819534143 hasRelatedWork W1745668638 @default.
• W1819534143 hasRelatedWork W1759641093 @default.
• W1819534143 hasRelatedWork W1899004660 @default.
• W1819534143 hasRelatedWork W2063280144 @default.
• W1819534143 hasRelatedWork W2148106163 @default.
• W1819534143 hasRelatedWork W2165335491 @default.
• W1819534143 hasRelatedWork W2406778095 @default.
• W1819534143 hasRelatedWork W2888846099 @default.
• W1819534143 hasRelatedWork W3010737172 @default.

• next