Matches in SemOpenAlex for { <https://semopenalex.org/work/W2127095206> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W2127095206 endingPage "64" @default.
- W2127095206 startingPage "45" @default.
- W2127095206 abstract "We describe various necessary and sufficient conditions with which to augment B's existing refinement proof obligations for forward and backward refinement in order to capture within the B Method a variety of CSP process refinement relations, including most significantly that of failures-divergences which provides the standard denotational semantics of CSP processes." @default.
- W2127095206 created "2016-06-24" @default.
- W2127095206 creator A5048729067 @default.
- W2127095206 creator A5079250503 @default.
- W2127095206 date "2005-01-01" @default.
- W2127095206 modified "2023-09-24" @default.
- W2127095206 title "Process Refinement in B" @default.
- W2127095206 cites W1488728460 @default.
- W2127095206 cites W1515198557 @default.
- W2127095206 cites W1542537714 @default.
- W2127095206 cites W1559958463 @default.
- W2127095206 cites W1564637213 @default.
- W2127095206 cites W1575221187 @default.
- W2127095206 cites W1578632748 @default.
- W2127095206 cites W1585758771 @default.
- W2127095206 cites W1782795672 @default.
- W2127095206 cites W1832857872 @default.
- W2127095206 cites W1848514456 @default.
- W2127095206 cites W1907309577 @default.
- W2127095206 cites W2038167407 @default.
- W2127095206 cites W2043279475 @default.
- W2127095206 cites W2077548182 @default.
- W2127095206 cites W2100109003 @default.
- W2127095206 cites W2116136691 @default.
- W2127095206 cites W2160613322 @default.
- W2127095206 cites W2162361778 @default.
- W2127095206 cites W2500079794 @default.
- W2127095206 cites W2913048148 @default.
- W2127095206 cites W4254354208 @default.
- W2127095206 cites W94958384 @default.
- W2127095206 doi "https://doi.org/10.1007/11415787_4" @default.
- W2127095206 hasPublicationYear "2005" @default.
- W2127095206 type Work @default.
- W2127095206 sameAs 2127095206 @default.
- W2127095206 citedByCount "6" @default.
- W2127095206 countsByYear W21270952062022 @default.
- W2127095206 crossrefType "book-chapter" @default.
- W2127095206 hasAuthorship W2127095206A5048729067 @default.
- W2127095206 hasAuthorship W2127095206A5079250503 @default.
- W2127095206 hasConcept C11413529 @default.
- W2127095206 hasConcept C199360897 @default.
- W2127095206 hasConcept C41008148 @default.
- W2127095206 hasConcept C98045186 @default.
- W2127095206 hasConceptScore W2127095206C11413529 @default.
- W2127095206 hasConceptScore W2127095206C199360897 @default.
- W2127095206 hasConceptScore W2127095206C41008148 @default.
- W2127095206 hasConceptScore W2127095206C98045186 @default.
- W2127095206 hasLocation W21270952061 @default.
- W2127095206 hasOpenAccess W2127095206 @default.
- W2127095206 hasPrimaryLocation W21270952061 @default.
- W2127095206 hasRelatedWork W1527862632 @default.
- W2127095206 hasRelatedWork W2112962394 @default.
- W2127095206 hasRelatedWork W2118300983 @default.
- W2127095206 hasRelatedWork W2135396778 @default.
- W2127095206 hasRelatedWork W2382501300 @default.
- W2127095206 hasRelatedWork W2740990710 @default.
- W2127095206 hasRelatedWork W3137189469 @default.
- W2127095206 hasRelatedWork W3162240892 @default.
- W2127095206 hasRelatedWork W4235530921 @default.
- W2127095206 hasRelatedWork W4243252198 @default.
- W2127095206 isParatext "false" @default.
- W2127095206 isRetracted "false" @default.
- W2127095206 magId "2127095206" @default.
- W2127095206 workType "book-chapter" @default.