Matches in SemOpenAlex for { <https://semopenalex.org/work/W1567773421> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W1567773421 endingPage "457" @default.
- W1567773421 startingPage "436" @default.
- W1567773421 abstract "A large system typically is or can be decomposed as a composition of components. Usually, these components have to cooperate so, their composition is a synchronized parallel composition. Components are often reactive systems. In the B method, each component is an event system. Then, two development paradigms — refinement and component composition — can be used. To provide both paradigms we have a compositionality result of a synchronized parallel composition with respect to refinement. We make use of this result to get an eficient approach to verify the refinement of a synchronized parallel composition between components. Therefore, our proposal allows introducing a second development paradigm in B, the component paradigm.KeywordsEvent SystemTransition SystemGeneralize SubstitutionParallel CompositionComponent CompositionThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
- W1567773421 created "2016-06-24" @default.
- W1567773421 creator A5070920431 @default.
- W1567773421 creator A5078713499 @default.
- W1567773421 creator A5088104020 @default.
- W1567773421 date "2002-01-01" @default.
- W1567773421 modified "2023-09-27" @default.
- W1567773421 title "Synchronized Parallel Composition of Event Systems in B" @default.
- W1567773421 cites W1497151414 @default.
- W1567773421 cites W1526041089 @default.
- W1567773421 cites W1545478708 @default.
- W1567773421 cites W1550550913 @default.
- W1567773421 cites W1563522622 @default.
- W1567773421 cites W1575221187 @default.
- W1567773421 cites W1625256512 @default.
- W1567773421 cites W1808580109 @default.
- W1567773421 cites W1921557964 @default.
- W1567773421 cites W2105162671 @default.
- W1567773421 cites W4206202861 @default.
- W1567773421 cites W4231029568 @default.
- W1567773421 cites W1606807920 @default.
- W1567773421 doi "https://doi.org/10.1007/3-540-45648-1_23" @default.
- W1567773421 hasPublicationYear "2002" @default.
- W1567773421 type Work @default.
- W1567773421 sameAs 1567773421 @default.
- W1567773421 citedByCount "11" @default.
- W1567773421 crossrefType "book-chapter" @default.
- W1567773421 hasAuthorship W1567773421A5070920431 @default.
- W1567773421 hasAuthorship W1567773421A5078713499 @default.
- W1567773421 hasAuthorship W1567773421A5088104020 @default.
- W1567773421 hasConcept C120314980 @default.
- W1567773421 hasConcept C121332964 @default.
- W1567773421 hasConcept C121375916 @default.
- W1567773421 hasConcept C138885662 @default.
- W1567773421 hasConcept C154945302 @default.
- W1567773421 hasConcept C168167062 @default.
- W1567773421 hasConcept C173608175 @default.
- W1567773421 hasConcept C199360897 @default.
- W1567773421 hasConcept C2779662365 @default.
- W1567773421 hasConcept C40231798 @default.
- W1567773421 hasConcept C41008148 @default.
- W1567773421 hasConcept C41895202 @default.
- W1567773421 hasConcept C62520636 @default.
- W1567773421 hasConcept C80444323 @default.
- W1567773421 hasConcept C97355855 @default.
- W1567773421 hasConceptScore W1567773421C120314980 @default.
- W1567773421 hasConceptScore W1567773421C121332964 @default.
- W1567773421 hasConceptScore W1567773421C121375916 @default.
- W1567773421 hasConceptScore W1567773421C138885662 @default.
- W1567773421 hasConceptScore W1567773421C154945302 @default.
- W1567773421 hasConceptScore W1567773421C168167062 @default.
- W1567773421 hasConceptScore W1567773421C173608175 @default.
- W1567773421 hasConceptScore W1567773421C199360897 @default.
- W1567773421 hasConceptScore W1567773421C2779662365 @default.
- W1567773421 hasConceptScore W1567773421C40231798 @default.
- W1567773421 hasConceptScore W1567773421C41008148 @default.
- W1567773421 hasConceptScore W1567773421C41895202 @default.
- W1567773421 hasConceptScore W1567773421C62520636 @default.
- W1567773421 hasConceptScore W1567773421C80444323 @default.
- W1567773421 hasConceptScore W1567773421C97355855 @default.
- W1567773421 hasLocation W15677734211 @default.
- W1567773421 hasOpenAccess W1567773421 @default.
- W1567773421 hasPrimaryLocation W15677734211 @default.
- W1567773421 hasRelatedWork W1490609244 @default.
- W1567773421 hasRelatedWork W1575221187 @default.
- W1567773421 hasRelatedWork W1589606351 @default.
- W1567773421 hasRelatedWork W1590535836 @default.
- W1567773421 hasRelatedWork W1597619521 @default.
- W1567773421 hasRelatedWork W1690029337 @default.
- W1567773421 hasRelatedWork W1966154044 @default.
- W1567773421 hasRelatedWork W2035084970 @default.
- W1567773421 hasRelatedWork W2038274706 @default.
- W1567773421 hasRelatedWork W2048333412 @default.
- W1567773421 hasRelatedWork W2105162671 @default.
- W1567773421 hasRelatedWork W2118287703 @default.
- W1567773421 hasRelatedWork W2119474775 @default.
- W1567773421 hasRelatedWork W2141383403 @default.
- W1567773421 hasRelatedWork W2171432916 @default.
- W1567773421 hasRelatedWork W2377293981 @default.
- W1567773421 hasRelatedWork W2688496021 @default.
- W1567773421 hasRelatedWork W3144368627 @default.
- W1567773421 hasRelatedWork W64188235 @default.
- W1567773421 hasRelatedWork W3185910042 @default.
- W1567773421 isParatext "false" @default.
- W1567773421 isRetracted "false" @default.
- W1567773421 magId "1567773421" @default.
- W1567773421 workType "book-chapter" @default.