Matches in SemOpenAlex for { <https://semopenalex.org/work/W1881906100> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W1881906100 abstract "The purpose of this paper is to verify a distributed cache memory system by using the following general verification method: verify the properties characterizing a complex system on some small finite abstraction of it, obtained as a composition of abstractions of each component of the system. For a large class of systems including infinite state systems, the abstractions of the components can be obtained by replacing all operators on concrete domains by abstract operators on some abstract domain. This holds also for the abstraction of the control part of the system as we consider a kind of guarded command programs where all the control is expressed in terms of operations on explicit control variables." @default.
- W1881906100 created "2016-06-24" @default.
- W1881906100 creator A5074935721 @default.
- W1881906100 date "1994-01-01" @default.
- W1881906100 modified "2023-09-23" @default.
- W1881906100 title "Verification of a distributed cache memory by using abstractions" @default.
- W1881906100 cites W1514983780 @default.
- W1881906100 cites W1583165871 @default.
- W1881906100 cites W2004306067 @default.
- W1881906100 cites W2043100293 @default.
- W1881906100 cites W2054739713 @default.
- W1881906100 cites W2114092850 @default.
- W1881906100 cites W2130025446 @default.
- W1881906100 cites W2295903464 @default.
- W1881906100 doi "https://doi.org/10.1007/3-540-58179-0_55" @default.
- W1881906100 hasPublicationYear "1994" @default.
- W1881906100 type Work @default.
- W1881906100 sameAs 1881906100 @default.
- W1881906100 citedByCount "34" @default.
- W1881906100 countsByYear W18819061002021 @default.
- W1881906100 crossrefType "book-chapter" @default.
- W1881906100 hasAuthorship W1881906100A5074935721 @default.
- W1881906100 hasBestOaLocation W18819061001 @default.
- W1881906100 hasConcept C111472728 @default.
- W1881906100 hasConcept C115537543 @default.
- W1881906100 hasConcept C120314980 @default.
- W1881906100 hasConcept C121332964 @default.
- W1881906100 hasConcept C124304363 @default.
- W1881906100 hasConcept C134306372 @default.
- W1881906100 hasConcept C138885662 @default.
- W1881906100 hasConcept C154945302 @default.
- W1881906100 hasConcept C168167062 @default.
- W1881906100 hasConcept C173608175 @default.
- W1881906100 hasConcept C199360897 @default.
- W1881906100 hasConcept C2777212361 @default.
- W1881906100 hasConcept C33923547 @default.
- W1881906100 hasConcept C36503486 @default.
- W1881906100 hasConcept C41008148 @default.
- W1881906100 hasConcept C48103436 @default.
- W1881906100 hasConcept C80444323 @default.
- W1881906100 hasConcept C97355855 @default.
- W1881906100 hasConceptScore W1881906100C111472728 @default.
- W1881906100 hasConceptScore W1881906100C115537543 @default.
- W1881906100 hasConceptScore W1881906100C120314980 @default.
- W1881906100 hasConceptScore W1881906100C121332964 @default.
- W1881906100 hasConceptScore W1881906100C124304363 @default.
- W1881906100 hasConceptScore W1881906100C134306372 @default.
- W1881906100 hasConceptScore W1881906100C138885662 @default.
- W1881906100 hasConceptScore W1881906100C154945302 @default.
- W1881906100 hasConceptScore W1881906100C168167062 @default.
- W1881906100 hasConceptScore W1881906100C173608175 @default.
- W1881906100 hasConceptScore W1881906100C199360897 @default.
- W1881906100 hasConceptScore W1881906100C2777212361 @default.
- W1881906100 hasConceptScore W1881906100C33923547 @default.
- W1881906100 hasConceptScore W1881906100C36503486 @default.
- W1881906100 hasConceptScore W1881906100C41008148 @default.
- W1881906100 hasConceptScore W1881906100C48103436 @default.
- W1881906100 hasConceptScore W1881906100C80444323 @default.
- W1881906100 hasConceptScore W1881906100C97355855 @default.
- W1881906100 hasLocation W18819061001 @default.
- W1881906100 hasOpenAccess W1881906100 @default.
- W1881906100 hasPrimaryLocation W18819061001 @default.
- W1881906100 hasRelatedWork W1487396988 @default.
- W1881906100 hasRelatedWork W1503170978 @default.
- W1881906100 hasRelatedWork W1514983780 @default.
- W1881906100 hasRelatedWork W1534067655 @default.
- W1881906100 hasRelatedWork W1582986256 @default.
- W1881906100 hasRelatedWork W1605593319 @default.
- W1881906100 hasRelatedWork W1972065960 @default.
- W1881906100 hasRelatedWork W1987073197 @default.
- W1881906100 hasRelatedWork W2000210358 @default.
- W1881906100 hasRelatedWork W2015640848 @default.
- W1881906100 hasRelatedWork W2015688007 @default.
- W1881906100 hasRelatedWork W2043100293 @default.
- W1881906100 hasRelatedWork W2061438988 @default.
- W1881906100 hasRelatedWork W2080267935 @default.
- W1881906100 hasRelatedWork W2080593426 @default.
- W1881906100 hasRelatedWork W2090106217 @default.
- W1881906100 hasRelatedWork W2116989825 @default.
- W1881906100 hasRelatedWork W2117189826 @default.
- W1881906100 hasRelatedWork W2164989576 @default.
- W1881906100 hasRelatedWork W2170212320 @default.
- W1881906100 isParatext "false" @default.
- W1881906100 isRetracted "false" @default.
- W1881906100 magId "1881906100" @default.
- W1881906100 workType "book-chapter" @default.