Matches in SemOpenAlex for { <https://semopenalex.org/work/W1985609535> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W1985609535 endingPage "85" @default.
- W1985609535 startingPage "67" @default.
- W1985609535 abstract "In this paper we formalise three different views of a virtual shared memory system and show that they are equivalent. The formalisation starts with five basic component processes specified in the language of CSP [Hoa85], which can be adapted as necessary by two operations called labelling and clamping, and are combined in two basic ways: either they are chained, so that the output of one component becomes the input of the next, or they are put in parallel, so that their communications are arbitrarily interleaved. Using the laws of CSP we show that these basic processes and operators satisfy a number of algebraic equivalences, which enable us to prove equivalence of the different models of the memory system by reasoning entirely at the level of processes, instead of at the lower and more complicated level of events. As a result the proofs of equivalence of the different models are purely algebraic and very simple." @default.
- W1985609535 created "2016-06-24" @default.
- W1985609535 creator A5050739195 @default.
- W1985609535 creator A5057314447 @default.
- W1985609535 date "1996-01-01" @default.
- W1985609535 modified "2023-09-25" @default.
- W1985609535 title "Structured development of a virtual shared memory system" @default.
- W1985609535 cites W1528431083 @default.
- W1985609535 cites W1597967661 @default.
- W1985609535 cites W1970935599 @default.
- W1985609535 cites W2080960387 @default.
- W1985609535 doi "https://doi.org/10.1007/bf01211051" @default.
- W1985609535 hasPublicationYear "1996" @default.
- W1985609535 type Work @default.
- W1985609535 sameAs 1985609535 @default.
- W1985609535 citedByCount "0" @default.
- W1985609535 crossrefType "journal-article" @default.
- W1985609535 hasAuthorship W1985609535A5050739195 @default.
- W1985609535 hasAuthorship W1985609535A5057314447 @default.
- W1985609535 hasBestOaLocation W19856095351 @default.
- W1985609535 hasConcept C108710211 @default.
- W1985609535 hasConcept C111472728 @default.
- W1985609535 hasConcept C118615104 @default.
- W1985609535 hasConcept C121332964 @default.
- W1985609535 hasConcept C134306372 @default.
- W1985609535 hasConcept C136119220 @default.
- W1985609535 hasConcept C138885662 @default.
- W1985609535 hasConcept C168167062 @default.
- W1985609535 hasConcept C199360897 @default.
- W1985609535 hasConcept C202444582 @default.
- W1985609535 hasConcept C24858836 @default.
- W1985609535 hasConcept C2524010 @default.
- W1985609535 hasConcept C2780069185 @default.
- W1985609535 hasConcept C2780586882 @default.
- W1985609535 hasConcept C33923547 @default.
- W1985609535 hasConcept C39920170 @default.
- W1985609535 hasConcept C41008148 @default.
- W1985609535 hasConcept C80444323 @default.
- W1985609535 hasConcept C9376300 @default.
- W1985609535 hasConcept C97355855 @default.
- W1985609535 hasConceptScore W1985609535C108710211 @default.
- W1985609535 hasConceptScore W1985609535C111472728 @default.
- W1985609535 hasConceptScore W1985609535C118615104 @default.
- W1985609535 hasConceptScore W1985609535C121332964 @default.
- W1985609535 hasConceptScore W1985609535C134306372 @default.
- W1985609535 hasConceptScore W1985609535C136119220 @default.
- W1985609535 hasConceptScore W1985609535C138885662 @default.
- W1985609535 hasConceptScore W1985609535C168167062 @default.
- W1985609535 hasConceptScore W1985609535C199360897 @default.
- W1985609535 hasConceptScore W1985609535C202444582 @default.
- W1985609535 hasConceptScore W1985609535C24858836 @default.
- W1985609535 hasConceptScore W1985609535C2524010 @default.
- W1985609535 hasConceptScore W1985609535C2780069185 @default.
- W1985609535 hasConceptScore W1985609535C2780586882 @default.
- W1985609535 hasConceptScore W1985609535C33923547 @default.
- W1985609535 hasConceptScore W1985609535C39920170 @default.
- W1985609535 hasConceptScore W1985609535C41008148 @default.
- W1985609535 hasConceptScore W1985609535C80444323 @default.
- W1985609535 hasConceptScore W1985609535C9376300 @default.
- W1985609535 hasConceptScore W1985609535C97355855 @default.
- W1985609535 hasIssue "1" @default.
- W1985609535 hasLocation W19856095351 @default.
- W1985609535 hasOpenAccess W1985609535 @default.
- W1985609535 hasPrimaryLocation W19856095351 @default.
- W1985609535 hasRelatedWork W109180904 @default.
- W1985609535 hasRelatedWork W1971373556 @default.
- W1985609535 hasRelatedWork W1981809958 @default.
- W1985609535 hasRelatedWork W1985609535 @default.
- W1985609535 hasRelatedWork W2155105871 @default.
- W1985609535 hasRelatedWork W2223906130 @default.
- W1985609535 hasRelatedWork W2522419648 @default.
- W1985609535 hasRelatedWork W2952113515 @default.
- W1985609535 hasRelatedWork W2952519015 @default.
- W1985609535 hasRelatedWork W3204711402 @default.
- W1985609535 hasVolume "8" @default.
- W1985609535 isParatext "false" @default.
- W1985609535 isRetracted "false" @default.
- W1985609535 magId "1985609535" @default.
- W1985609535 workType "article" @default.