Matches in SemOpenAlex for { <https://semopenalex.org/work/W1969226791> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W1969226791 endingPage "322" @default.
- W1969226791 startingPage "304" @default.
- W1969226791 abstract "We present a formal framework for characterising plug-in relationships between components whereby one does not cause the other to deadlock. We define the notion of a stable relation φ between co-operating processes such that whenever P' and Q are related by φ, then any component-wise refinements P' and Q' are related by φ. We use stable relations to ensure that plug-in components can be separately refined whilst maintaining integrity of the original relational properties. We ground our notions in the CSP failures semantic model. The aim is to underpin a mixed-paradigm approach combining different specification methods, including state-based deductive formalisms such as Action Systems, and event-based model checking formalisms such as CSP/FDR. The objective is to play to the strengths and overcome limitations of each technique, by treating different system aspects with individual tools and notations which are most appropriate." @default.
- W1969226791 created "2016-06-24" @default.
- W1969226791 creator A5032832343 @default.
- W1969226791 creator A5063583310 @default.
- W1969226791 date "2001-03-01" @default.
- W1969226791 modified "2023-10-18" @default.
- W1969226791 title "Refinement-Preserving Plug-In Components" @default.
- W1969226791 cites W10909475 @default.
- W1969226791 cites W12217049 @default.
- W1969226791 cites W1515198557 @default.
- W1969226791 cites W1532391712 @default.
- W1969226791 cites W1572811214 @default.
- W1969226791 cites W1585758771 @default.
- W1969226791 cites W1832857872 @default.
- W1969226791 cites W1907309577 @default.
- W1969226791 cites W1932792140 @default.
- W1969226791 cites W1966263924 @default.
- W1969226791 cites W2003915781 @default.
- W1969226791 cites W2043279475 @default.
- W1969226791 cites W2102097307 @default.
- W1969226791 cites W2105162671 @default.
- W1969226791 cites W2114195198 @default.
- W1969226791 cites W2114620376 @default.
- W1969226791 cites W2129384397 @default.
- W1969226791 cites W2144973245 @default.
- W1969226791 cites W2267876640 @default.
- W1969226791 cites W3013607954 @default.
- W1969226791 cites W3144368627 @default.
- W1969226791 cites W66273859 @default.
- W1969226791 doi "https://doi.org/10.1016/s1571-0661(05)80059-3" @default.
- W1969226791 hasPublicationYear "2001" @default.
- W1969226791 type Work @default.
- W1969226791 sameAs 1969226791 @default.
- W1969226791 citedByCount "0" @default.
- W1969226791 crossrefType "journal-article" @default.
- W1969226791 hasAuthorship W1969226791A5032832343 @default.
- W1969226791 hasAuthorship W1969226791A5063583310 @default.
- W1969226791 hasBestOaLocation W19692267911 @default.
- W1969226791 hasConcept C110251889 @default.
- W1969226791 hasConcept C121332964 @default.
- W1969226791 hasConcept C124101348 @default.
- W1969226791 hasConcept C168167062 @default.
- W1969226791 hasConcept C171018156 @default.
- W1969226791 hasConcept C199360897 @default.
- W1969226791 hasConcept C2524010 @default.
- W1969226791 hasConcept C25343380 @default.
- W1969226791 hasConcept C33923547 @default.
- W1969226791 hasConcept C41008148 @default.
- W1969226791 hasConcept C45357846 @default.
- W1969226791 hasConcept C80444323 @default.
- W1969226791 hasConcept C94375191 @default.
- W1969226791 hasConcept C97355855 @default.
- W1969226791 hasConceptScore W1969226791C110251889 @default.
- W1969226791 hasConceptScore W1969226791C121332964 @default.
- W1969226791 hasConceptScore W1969226791C124101348 @default.
- W1969226791 hasConceptScore W1969226791C168167062 @default.
- W1969226791 hasConceptScore W1969226791C171018156 @default.
- W1969226791 hasConceptScore W1969226791C199360897 @default.
- W1969226791 hasConceptScore W1969226791C2524010 @default.
- W1969226791 hasConceptScore W1969226791C25343380 @default.
- W1969226791 hasConceptScore W1969226791C33923547 @default.
- W1969226791 hasConceptScore W1969226791C41008148 @default.
- W1969226791 hasConceptScore W1969226791C45357846 @default.
- W1969226791 hasConceptScore W1969226791C80444323 @default.
- W1969226791 hasConceptScore W1969226791C94375191 @default.
- W1969226791 hasConceptScore W1969226791C97355855 @default.
- W1969226791 hasLocation W19692267911 @default.
- W1969226791 hasOpenAccess W1969226791 @default.
- W1969226791 hasPrimaryLocation W19692267911 @default.
- W1969226791 hasRelatedWork W1501252054 @default.
- W1969226791 hasRelatedWork W1576406833 @default.
- W1969226791 hasRelatedWork W166614165 @default.
- W1969226791 hasRelatedWork W2090686886 @default.
- W1969226791 hasRelatedWork W2151898527 @default.
- W1969226791 hasRelatedWork W2165833263 @default.
- W1969226791 hasRelatedWork W2419489257 @default.
- W1969226791 hasRelatedWork W2898414396 @default.
- W1969226791 hasRelatedWork W2610607535 @default.
- W1969226791 hasRelatedWork W2808767067 @default.
- W1969226791 hasVolume "40" @default.
- W1969226791 isParatext "false" @default.
- W1969226791 isRetracted "false" @default.
- W1969226791 magId "1969226791" @default.
- W1969226791 workType "article" @default.