Matches in SemOpenAlex for { <https://semopenalex.org/work/W2094394990> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2094394990 endingPage "110" @default.
- W2094394990 startingPage "80" @default.
- W2094394990 abstract "We present an abstract equational framework for the specification of systems having both observational and computational features. Our approach is based on a clear separation between the two categories of features, and uses algebra, respectively coalgebra to formalise them. This yields a coalgebraically defined notion of observational indistinguishability, as well as an algebraically defined notion of reachability under computations. The relationship between the computations yielding new system states and the observations that can be made about these states is specified using liftings of the coalgebraic structure of state spaces to a coalgebraic structure on computations over these state spaces. Also, correctness properties of system behaviour are formalised using equational sentences, with the associated notions of satisfaction abstracting away observationally indistinguishable, respectively un-reachable states, and with the resulting proof techniques employing coinduction, respectively induction. Suitably instantiating the approach yields a formalism for the specification and verification of objects." @default.
- W2094394990 created "2016-06-24" @default.
- W2094394990 creator A5050718588 @default.
- W2094394990 date "2000-01-01" @default.
- W2094394990 modified "2023-09-26" @default.
- W2094394990 title "An Algebra-Coalgebra Framework for System Specification" @default.
- W2094394990 cites W1492640621 @default.
- W2094394990 cites W1505903456 @default.
- W2094394990 cites W1540355970 @default.
- W2094394990 cites W1544933093 @default.
- W2094394990 cites W1600606023 @default.
- W2094394990 cites W1985275803 @default.
- W2094394990 cites W2006176044 @default.
- W2094394990 cites W2010883554 @default.
- W2094394990 cites W2024873396 @default.
- W2094394990 cites W2033809864 @default.
- W2094394990 cites W2101032471 @default.
- W2094394990 cites W2164625502 @default.
- W2094394990 cites W2613512071 @default.
- W2094394990 cites W2641858589 @default.
- W2094394990 doi "https://doi.org/10.1016/s1571-0661(05)80345-7" @default.
- W2094394990 hasPublicationYear "2000" @default.
- W2094394990 type Work @default.
- W2094394990 sameAs 2094394990 @default.
- W2094394990 citedByCount "5" @default.
- W2094394990 countsByYear W20943949902019 @default.
- W2094394990 crossrefType "journal-article" @default.
- W2094394990 hasAuthorship W2094394990A5050718588 @default.
- W2094394990 hasBestOaLocation W20943949901 @default.
- W2094394990 hasConcept C136119220 @default.
- W2094394990 hasConcept C136643341 @default.
- W2094394990 hasConcept C142362112 @default.
- W2094394990 hasConcept C153349607 @default.
- W2094394990 hasConcept C199360897 @default.
- W2094394990 hasConcept C202444582 @default.
- W2094394990 hasConcept C2778249326 @default.
- W2094394990 hasConcept C33923547 @default.
- W2094394990 hasConcept C41008148 @default.
- W2094394990 hasConcept C45374587 @default.
- W2094394990 hasConcept C48103436 @default.
- W2094394990 hasConcept C55439883 @default.
- W2094394990 hasConcept C558565934 @default.
- W2094394990 hasConcept C73301696 @default.
- W2094394990 hasConcept C80444323 @default.
- W2094394990 hasConceptScore W2094394990C136119220 @default.
- W2094394990 hasConceptScore W2094394990C136643341 @default.
- W2094394990 hasConceptScore W2094394990C142362112 @default.
- W2094394990 hasConceptScore W2094394990C153349607 @default.
- W2094394990 hasConceptScore W2094394990C199360897 @default.
- W2094394990 hasConceptScore W2094394990C202444582 @default.
- W2094394990 hasConceptScore W2094394990C2778249326 @default.
- W2094394990 hasConceptScore W2094394990C33923547 @default.
- W2094394990 hasConceptScore W2094394990C41008148 @default.
- W2094394990 hasConceptScore W2094394990C45374587 @default.
- W2094394990 hasConceptScore W2094394990C48103436 @default.
- W2094394990 hasConceptScore W2094394990C55439883 @default.
- W2094394990 hasConceptScore W2094394990C558565934 @default.
- W2094394990 hasConceptScore W2094394990C73301696 @default.
- W2094394990 hasConceptScore W2094394990C80444323 @default.
- W2094394990 hasLocation W20943949901 @default.
- W2094394990 hasLocation W20943949902 @default.
- W2094394990 hasOpenAccess W2094394990 @default.
- W2094394990 hasPrimaryLocation W20943949901 @default.
- W2094394990 hasRelatedWork W118676048 @default.
- W2094394990 hasRelatedWork W1529554323 @default.
- W2094394990 hasRelatedWork W1570101947 @default.
- W2094394990 hasRelatedWork W2019671021 @default.
- W2094394990 hasRelatedWork W2046125711 @default.
- W2094394990 hasRelatedWork W2072817265 @default.
- W2094394990 hasRelatedWork W2075406361 @default.
- W2094394990 hasRelatedWork W2092614790 @default.
- W2094394990 hasRelatedWork W2123887510 @default.
- W2094394990 hasRelatedWork W2137477976 @default.
- W2094394990 hasRelatedWork W2145844058 @default.
- W2094394990 hasRelatedWork W2164625502 @default.
- W2094394990 hasRelatedWork W2255874857 @default.
- W2094394990 hasRelatedWork W2577137520 @default.
- W2094394990 hasRelatedWork W2772890845 @default.
- W2094394990 hasRelatedWork W2963084494 @default.
- W2094394990 hasRelatedWork W3025687582 @default.
- W2094394990 hasRelatedWork W3101634683 @default.
- W2094394990 hasRelatedWork W583126019 @default.
- W2094394990 hasRelatedWork W3143666573 @default.
- W2094394990 hasVolume "33" @default.
- W2094394990 isParatext "false" @default.
- W2094394990 isRetracted "false" @default.
- W2094394990 magId "2094394990" @default.
- W2094394990 workType "article" @default.