Matches in SemOpenAlex for { <https://semopenalex.org/work/W2003258198> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2003258198 abstract "The process algebra CSP is tailored for the specification and verification of reactive systems. Such systems react upon external stimuli by adjusting their internal behavior, e.g., to recover from errors. Adaptive systems can be regarded as a subclass of reactive systems in the sense that such systems react by adapting to changes propagated by some stimulus. In this paper, we use CSP for the specification, verification and implementation of adaptive systems. This enables us to use standard CSP tools such as FDR, ProB or the CSP-Prover for the verification of such systems. Furthermore, we present an approach for the implementation of systems specified in CSP." @default.
- W2003258198 created "2016-06-24" @default.
- W2003258198 creator A5014733963 @default.
- W2003258198 creator A5088682551 @default.
- W2003258198 date "2011-05-23" @default.
- W2003258198 modified "2023-10-03" @default.
- W2003258198 title "A CSP-based framework for the specification, verification, and implementation of adaptive systems" @default.
- W2003258198 cites W1498914187 @default.
- W2003258198 cites W1536242253 @default.
- W2003258198 cites W1590698795 @default.
- W2003258198 cites W2014879830 @default.
- W2003258198 cites W2028037778 @default.
- W2003258198 cites W2032270529 @default.
- W2003258198 cites W2070750095 @default.
- W2003258198 cites W2100653580 @default.
- W2003258198 cites W2111669205 @default.
- W2003258198 cites W2135670602 @default.
- W2003258198 cites W2138768776 @default.
- W2003258198 cites W2153185479 @default.
- W2003258198 doi "https://doi.org/10.1145/1988008.1988030" @default.
- W2003258198 hasPublicationYear "2011" @default.
- W2003258198 type Work @default.
- W2003258198 sameAs 2003258198 @default.
- W2003258198 citedByCount "26" @default.
- W2003258198 countsByYear W20032581982012 @default.
- W2003258198 countsByYear W20032581982013 @default.
- W2003258198 countsByYear W20032581982014 @default.
- W2003258198 countsByYear W20032581982015 @default.
- W2003258198 countsByYear W20032581982017 @default.
- W2003258198 countsByYear W20032581982018 @default.
- W2003258198 countsByYear W20032581982019 @default.
- W2003258198 countsByYear W20032581982020 @default.
- W2003258198 countsByYear W20032581982021 @default.
- W2003258198 countsByYear W20032581982023 @default.
- W2003258198 crossrefType "proceedings-article" @default.
- W2003258198 hasAuthorship W2003258198A5014733963 @default.
- W2003258198 hasAuthorship W2003258198A5088682551 @default.
- W2003258198 hasConcept C108710211 @default.
- W2003258198 hasConcept C111498074 @default.
- W2003258198 hasConcept C115903868 @default.
- W2003258198 hasConcept C155214134 @default.
- W2003258198 hasConcept C156325763 @default.
- W2003258198 hasConcept C159718280 @default.
- W2003258198 hasConcept C161771561 @default.
- W2003258198 hasConcept C184337299 @default.
- W2003258198 hasConcept C199360897 @default.
- W2003258198 hasConcept C2524010 @default.
- W2003258198 hasConcept C33923547 @default.
- W2003258198 hasConcept C41008148 @default.
- W2003258198 hasConcept C84651959 @default.
- W2003258198 hasConceptScore W2003258198C108710211 @default.
- W2003258198 hasConceptScore W2003258198C111498074 @default.
- W2003258198 hasConceptScore W2003258198C115903868 @default.
- W2003258198 hasConceptScore W2003258198C155214134 @default.
- W2003258198 hasConceptScore W2003258198C156325763 @default.
- W2003258198 hasConceptScore W2003258198C159718280 @default.
- W2003258198 hasConceptScore W2003258198C161771561 @default.
- W2003258198 hasConceptScore W2003258198C184337299 @default.
- W2003258198 hasConceptScore W2003258198C199360897 @default.
- W2003258198 hasConceptScore W2003258198C2524010 @default.
- W2003258198 hasConceptScore W2003258198C33923547 @default.
- W2003258198 hasConceptScore W2003258198C41008148 @default.
- W2003258198 hasConceptScore W2003258198C84651959 @default.
- W2003258198 hasLocation W20032581981 @default.
- W2003258198 hasOpenAccess W2003258198 @default.
- W2003258198 hasPrimaryLocation W20032581981 @default.
- W2003258198 hasRelatedWork W2003258198 @default.
- W2003258198 hasRelatedWork W2035334563 @default.
- W2003258198 hasRelatedWork W2105172614 @default.
- W2003258198 hasRelatedWork W2124807273 @default.
- W2003258198 hasRelatedWork W2140312540 @default.
- W2003258198 hasRelatedWork W2151898527 @default.
- W2003258198 hasRelatedWork W2157942411 @default.
- W2003258198 hasRelatedWork W2899100898 @default.
- W2003258198 hasRelatedWork W3037878437 @default.
- W2003258198 hasRelatedWork W47563837 @default.
- W2003258198 isParatext "false" @default.
- W2003258198 isRetracted "false" @default.
- W2003258198 magId "2003258198" @default.
- W2003258198 workType "article" @default.