FRINK Linked Data Fragments server

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

• W2110277082 endingPage "1210" @default.
• W2110277082 startingPage "1202" @default.
• W2110277082 abstract "Aggregation abstraction is a way of defining a desired correspondence between an implementation of a transaction-oriented protocol and a much simpler idealized version of the same protocol. This relationship can be formally verified to prove the correctness of the implementation. We present a technique for checking aggregation abstractions automatically using a finite-state enumerator. The abstraction relation between implementation and specification is checked on-the fly and the verification requires examining no more states than checking a simple invariant property. This technique can be used alone for verification of finite-state protocols, or as preparation for a more general aggregation proof using a general-purpose theorem-prover. We illustrate the technique on the cache coherence protocol used in the FLASH multiprocessor system." @default.
• W2110277082 created "2016-06-24" @default.
• W2110277082 creator A5009458897 @default.
• W2110277082 creator A5044713006 @default.
• W2110277082 creator A5053071492 @default.
• W2110277082 date "2000-01-01" @default.
• W2110277082 modified "2023-09-28" @default.
• W2110277082 title "Automatic checking of aggregation abstractions through state enumeration" @default.
• W2110277082 cites W1507985299 @default.
• W2110277082 cites W1514983780 @default.
• W2110277082 cites W1881906100 @default.
• W2110277082 cites W2015688007 @default.
• W2110277082 cites W2039853888 @default.
• W2110277082 cites W2041152728 @default.
• W2110277082 cites W2041681937 @default.
• W2110277082 cites W2080267935 @default.
• W2110277082 cites W2109338287 @default.
• W2110277082 cites W2115716046 @default.
• W2110277082 cites W2116989825 @default.
• W2110277082 cites W2117189826 @default.
• W2110277082 cites W2132107743 @default.
• W2110277082 cites W2149706659 @default.
• W2110277082 cites W2485756336 @default.
• W2110277082 cites W4234177455 @default.
• W2110277082 cites W4241035809 @default.
• W2110277082 cites W4300021588 @default.
• W2110277082 cites W98763178 @default.
• W2110277082 doi "https://doi.org/10.1109/43.875327" @default.
• W2110277082 hasPublicationYear "2000" @default.
• W2110277082 type Work @default.
• W2110277082 sameAs 2110277082 @default.
• W2110277082 citedByCount "6" @default.
• W2110277082 countsByYear W21102770822013 @default.
• W2110277082 countsByYear W21102770822014 @default.
• W2110277082 countsByYear W21102770822016 @default.
• W2110277082 countsByYear W21102770822017 @default.
• W2110277082 crossrefType "journal-article" @default.
• W2110277082 hasAuthorship W2110277082A5009458897 @default.
• W2110277082 hasAuthorship W2110277082A5044713006 @default.
• W2110277082 hasAuthorship W2110277082A5053071492 @default.
• W2110277082 hasConcept C110251889 @default.
• W2110277082 hasConcept C111472728 @default.
• W2110277082 hasConcept C111498074 @default.
• W2110277082 hasConcept C115537543 @default.
• W2110277082 hasConcept C124304363 @default.
• W2110277082 hasConcept C138885662 @default.
• W2110277082 hasConcept C141917322 @default.
• W2110277082 hasConcept C142724271 @default.
• W2110277082 hasConcept C167822520 @default.
• W2110277082 hasConcept C173608175 @default.
• W2110277082 hasConcept C189783530 @default.
• W2110277082 hasConcept C190470478 @default.
• W2110277082 hasConcept C199360897 @default.
• W2110277082 hasConcept C204787440 @default.
• W2110277082 hasConcept C206880738 @default.
• W2110277082 hasConcept C2780385302 @default.
• W2110277082 hasConcept C30888246 @default.
• W2110277082 hasConcept C33923547 @default.
• W2110277082 hasConcept C37914503 @default.
• W2110277082 hasConcept C38556500 @default.
• W2110277082 hasConcept C41008148 @default.
• W2110277082 hasConcept C48103436 @default.
• W2110277082 hasConcept C55439883 @default.
• W2110277082 hasConcept C71924100 @default.
• W2110277082 hasConcept C80444323 @default.
• W2110277082 hasConceptScore W2110277082C110251889 @default.
• W2110277082 hasConceptScore W2110277082C111472728 @default.
• W2110277082 hasConceptScore W2110277082C111498074 @default.
• W2110277082 hasConceptScore W2110277082C115537543 @default.
• W2110277082 hasConceptScore W2110277082C124304363 @default.
• W2110277082 hasConceptScore W2110277082C138885662 @default.
• W2110277082 hasConceptScore W2110277082C141917322 @default.
• W2110277082 hasConceptScore W2110277082C142724271 @default.
• W2110277082 hasConceptScore W2110277082C167822520 @default.
• W2110277082 hasConceptScore W2110277082C173608175 @default.
• W2110277082 hasConceptScore W2110277082C189783530 @default.
• W2110277082 hasConceptScore W2110277082C190470478 @default.
• W2110277082 hasConceptScore W2110277082C199360897 @default.
• W2110277082 hasConceptScore W2110277082C204787440 @default.
• W2110277082 hasConceptScore W2110277082C206880738 @default.
• W2110277082 hasConceptScore W2110277082C2780385302 @default.
• W2110277082 hasConceptScore W2110277082C30888246 @default.
• W2110277082 hasConceptScore W2110277082C33923547 @default.
• W2110277082 hasConceptScore W2110277082C37914503 @default.
• W2110277082 hasConceptScore W2110277082C38556500 @default.
• W2110277082 hasConceptScore W2110277082C41008148 @default.
• W2110277082 hasConceptScore W2110277082C48103436 @default.
• W2110277082 hasConceptScore W2110277082C55439883 @default.
• W2110277082 hasConceptScore W2110277082C71924100 @default.
• W2110277082 hasConceptScore W2110277082C80444323 @default.
• W2110277082 hasIssue "10" @default.
• W2110277082 hasLocation W21102770821 @default.
• W2110277082 hasOpenAccess W2110277082 @default.
• W2110277082 hasPrimaryLocation W21102770821 @default.
• W2110277082 hasRelatedWork W1572578464 @default.
• W2110277082 hasRelatedWork W1630138018 @default.
• W2110277082 hasRelatedWork W1845114988 @default.
• W2110277082 hasRelatedWork W1983371115 @default.

• next