Matches in SemOpenAlex for { <https://semopenalex.org/work/W2049708124> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2049708124 endingPage "363" @default.
- W2049708124 startingPage "348" @default.
- W2049708124 abstract "The classical (boolean) notion of refinement for behavioral interfaces of system components is the alternating refinement preorder. In this paper, we define a distance for interfaces, called interface simulation distance . It makes the alternating refinement preorder quantitative by, intuitively, tolerating errors (while counting them) in the alternating simulation game. We show that the interface simulation distance satisfies the triangle inequality, that the distance between two interfaces does not increase under parallel composition with a third interface, that the distance between two interfaces can be bounded from above and below by distances between abstractions of the two interfaces, and how to synthesize an interface from incompatible requirements. We illustrate the framework, and the properties of the distances under composition of interfaces, with two case studies." @default.
- W2049708124 created "2016-06-24" @default.
- W2049708124 creator A5000188805 @default.
- W2049708124 creator A5056536627 @default.
- W2049708124 creator A5072396662 @default.
- W2049708124 creator A5080555605 @default.
- W2049708124 date "2014-12-01" @default.
- W2049708124 modified "2023-09-24" @default.
- W2049708124 title "Interface simulation distances" @default.
- W2049708124 cites W1975455609 @default.
- W2049708124 cites W1991224384 @default.
- W2049708124 cites W2015172530 @default.
- W2049708124 cites W2026128612 @default.
- W2049708124 cites W2090847457 @default.
- W2049708124 cites W2099529102 @default.
- W2049708124 cites W2913545290 @default.
- W2049708124 cites W3101533681 @default.
- W2049708124 doi "https://doi.org/10.1016/j.tcs.2014.08.019" @default.
- W2049708124 hasPublicationYear "2014" @default.
- W2049708124 type Work @default.
- W2049708124 sameAs 2049708124 @default.
- W2049708124 citedByCount "5" @default.
- W2049708124 countsByYear W20497081242015 @default.
- W2049708124 countsByYear W20497081242016 @default.
- W2049708124 countsByYear W20497081242017 @default.
- W2049708124 crossrefType "journal-article" @default.
- W2049708124 hasAuthorship W2049708124A5000188805 @default.
- W2049708124 hasAuthorship W2049708124A5056536627 @default.
- W2049708124 hasAuthorship W2049708124A5072396662 @default.
- W2049708124 hasAuthorship W2049708124A5080555605 @default.
- W2049708124 hasBestOaLocation W20497081242 @default.
- W2049708124 hasConcept C113843644 @default.
- W2049708124 hasConcept C11413529 @default.
- W2049708124 hasConcept C118615104 @default.
- W2049708124 hasConcept C129307140 @default.
- W2049708124 hasConcept C134306372 @default.
- W2049708124 hasConcept C157915830 @default.
- W2049708124 hasConcept C173608175 @default.
- W2049708124 hasConcept C2333172 @default.
- W2049708124 hasConcept C33923547 @default.
- W2049708124 hasConcept C34388435 @default.
- W2049708124 hasConcept C41008148 @default.
- W2049708124 hasConcept C80444323 @default.
- W2049708124 hasConceptScore W2049708124C113843644 @default.
- W2049708124 hasConceptScore W2049708124C11413529 @default.
- W2049708124 hasConceptScore W2049708124C118615104 @default.
- W2049708124 hasConceptScore W2049708124C129307140 @default.
- W2049708124 hasConceptScore W2049708124C134306372 @default.
- W2049708124 hasConceptScore W2049708124C157915830 @default.
- W2049708124 hasConceptScore W2049708124C173608175 @default.
- W2049708124 hasConceptScore W2049708124C2333172 @default.
- W2049708124 hasConceptScore W2049708124C33923547 @default.
- W2049708124 hasConceptScore W2049708124C34388435 @default.
- W2049708124 hasConceptScore W2049708124C41008148 @default.
- W2049708124 hasConceptScore W2049708124C80444323 @default.
- W2049708124 hasFunder F4320307764 @default.
- W2049708124 hasFunder F4320321181 @default.
- W2049708124 hasFunder F4320334678 @default.
- W2049708124 hasLocation W20497081241 @default.
- W2049708124 hasLocation W20497081242 @default.
- W2049708124 hasOpenAccess W2049708124 @default.
- W2049708124 hasPrimaryLocation W20497081241 @default.
- W2049708124 hasRelatedWork W2049708124 @default.
- W2049708124 hasRelatedWork W2057931867 @default.
- W2049708124 hasRelatedWork W2351491280 @default.
- W2049708124 hasRelatedWork W2352866950 @default.
- W2049708124 hasRelatedWork W2357906747 @default.
- W2049708124 hasRelatedWork W2366230866 @default.
- W2049708124 hasRelatedWork W2372895414 @default.
- W2049708124 hasRelatedWork W2390158879 @default.
- W2049708124 hasRelatedWork W303980170 @default.
- W2049708124 hasRelatedWork W3098053482 @default.
- W2049708124 hasVolume "560" @default.
- W2049708124 isParatext "false" @default.
- W2049708124 isRetracted "false" @default.
- W2049708124 magId "2049708124" @default.
- W2049708124 workType "article" @default.