Matches in SemOpenAlex for { <https://semopenalex.org/work/W1567359179> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W1567359179 endingPage "322" @default.
- W1567359179 startingPage "313" @default.
- W1567359179 abstract "We investigate the notion that a system, or process, is an acceptable implementation of another base or target process, in the case that they have different interfaces. Base processes can be thought of as specifications, or ideal processes operating in an error-free environment, while implementations model their actual realisation, possibly employing a variety of fault-tolerant techniques. Using the CSP model, we relate implementations to targets in terms of their observable behaviours, through interface abstraction. We obtain two basic results: realisability and compositionality. The former ensures an implementation up to interface abstraction can be put to good use, in the sense that plugging it into an appropriate environment yields a conventional implementation. Compositionality requires that a target made up of subcomponents can be implemented by assembling their respective implementations." @default.
- W1567359179 created "2016-06-24" @default.
- W1567359179 creator A5042490356 @default.
- W1567359179 creator A5078252196 @default.
- W1567359179 date "1999-01-01" @default.
- W1567359179 modified "2023-09-26" @default.
- W1567359179 title "A Model of Behaviour Abstraction for Communicating Processes" @default.
- W1567359179 cites W119570465 @default.
- W1567359179 cites W1581774065 @default.
- W1567359179 cites W18703358 @default.
- W1567359179 cites W2007107553 @default.
- W1567359179 cites W4244719572 @default.
- W1567359179 doi "https://doi.org/10.1007/3-540-49116-3_29" @default.
- W1567359179 hasPublicationYear "1999" @default.
- W1567359179 type Work @default.
- W1567359179 sameAs 1567359179 @default.
- W1567359179 citedByCount "3" @default.
- W1567359179 crossrefType "book-chapter" @default.
- W1567359179 hasAuthorship W1567359179A5042490356 @default.
- W1567359179 hasAuthorship W1567359179A5078252196 @default.
- W1567359179 hasConcept C111472728 @default.
- W1567359179 hasConcept C113843644 @default.
- W1567359179 hasConcept C121332964 @default.
- W1567359179 hasConcept C121375916 @default.
- W1567359179 hasConcept C124304363 @default.
- W1567359179 hasConcept C129307140 @default.
- W1567359179 hasConcept C138885662 @default.
- W1567359179 hasConcept C154945302 @default.
- W1567359179 hasConcept C155214134 @default.
- W1567359179 hasConcept C156325763 @default.
- W1567359179 hasConcept C157915830 @default.
- W1567359179 hasConcept C173608175 @default.
- W1567359179 hasConcept C184337299 @default.
- W1567359179 hasConcept C199360897 @default.
- W1567359179 hasConcept C26713055 @default.
- W1567359179 hasConcept C2779462738 @default.
- W1567359179 hasConcept C41008148 @default.
- W1567359179 hasConcept C62520636 @default.
- W1567359179 hasConcept C80444323 @default.
- W1567359179 hasConcept C98045186 @default.
- W1567359179 hasConceptScore W1567359179C111472728 @default.
- W1567359179 hasConceptScore W1567359179C113843644 @default.
- W1567359179 hasConceptScore W1567359179C121332964 @default.
- W1567359179 hasConceptScore W1567359179C121375916 @default.
- W1567359179 hasConceptScore W1567359179C124304363 @default.
- W1567359179 hasConceptScore W1567359179C129307140 @default.
- W1567359179 hasConceptScore W1567359179C138885662 @default.
- W1567359179 hasConceptScore W1567359179C154945302 @default.
- W1567359179 hasConceptScore W1567359179C155214134 @default.
- W1567359179 hasConceptScore W1567359179C156325763 @default.
- W1567359179 hasConceptScore W1567359179C157915830 @default.
- W1567359179 hasConceptScore W1567359179C173608175 @default.
- W1567359179 hasConceptScore W1567359179C184337299 @default.
- W1567359179 hasConceptScore W1567359179C199360897 @default.
- W1567359179 hasConceptScore W1567359179C26713055 @default.
- W1567359179 hasConceptScore W1567359179C2779462738 @default.
- W1567359179 hasConceptScore W1567359179C41008148 @default.
- W1567359179 hasConceptScore W1567359179C62520636 @default.
- W1567359179 hasConceptScore W1567359179C80444323 @default.
- W1567359179 hasConceptScore W1567359179C98045186 @default.
- W1567359179 hasLocation W15673591791 @default.
- W1567359179 hasOpenAccess W1567359179 @default.
- W1567359179 hasPrimaryLocation W15673591791 @default.
- W1567359179 hasRelatedWork W1504651774 @default.
- W1567359179 hasRelatedWork W1553263949 @default.
- W1567359179 hasRelatedWork W1554764448 @default.
- W1567359179 hasRelatedWork W1567359179 @default.
- W1567359179 hasRelatedWork W1855927527 @default.
- W1567359179 hasRelatedWork W1899601202 @default.
- W1567359179 hasRelatedWork W1984757784 @default.
- W1567359179 hasRelatedWork W2083338789 @default.
- W1567359179 hasRelatedWork W3160136729 @default.
- W1567359179 hasRelatedWork W2583258763 @default.
- W1567359179 isParatext "false" @default.
- W1567359179 isRetracted "false" @default.
- W1567359179 magId "1567359179" @default.
- W1567359179 workType "book-chapter" @default.