Matches in SemOpenAlex for { <https://semopenalex.org/work/W2010562413> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2010562413 endingPage "70" @default.
- W2010562413 startingPage "52" @default.
- W2010562413 abstract "Abstract. A dense temporal logic development method for the specification, refinement, composition and verification of reactive systems is introduced. A reactive system is specified by a pair consisting of a machine and a condition that indicate the valid computations of this machine. Compositionality is achieved by indicating whether each step is an environment step, a system step, or a communication step. Refinement can be expressed straightforwardly in the logic because the stutter problem is elegantly solved by using the dense structure of the logic. Compositionality enables us to break refinement between complex systems into refinement between small and simple systems. The latter can then be verified by existing proof rules for refinement which are reformulated in our formalism." @default.
- W2010562413 created "2016-06-24" @default.
- W2010562413 creator A5005843564 @default.
- W2010562413 date "2000-10-01" @default.
- W2010562413 modified "2023-09-25" @default.
- W2010562413 title "Composing and Refining Dense Temporal Logic Specifications" @default.
- W2010562413 cites W1753084406 @default.
- W2010562413 cites W1989877393 @default.
- W2010562413 cites W2005819264 @default.
- W2010562413 cites W2015688007 @default.
- W2010562413 cites W2090551028 @default.
- W2010562413 cites W2101508170 @default.
- W2010562413 cites W2132107743 @default.
- W2010562413 cites W2293400264 @default.
- W2010562413 cites W2328819335 @default.
- W2010562413 cites W2914206182 @default.
- W2010562413 doi "https://doi.org/10.1007/s001650070036" @default.
- W2010562413 hasPublicationYear "2000" @default.
- W2010562413 type Work @default.
- W2010562413 sameAs 2010562413 @default.
- W2010562413 citedByCount "2" @default.
- W2010562413 countsByYear W20105624132022 @default.
- W2010562413 crossrefType "journal-article" @default.
- W2010562413 hasAuthorship W2010562413A5005843564 @default.
- W2010562413 hasBestOaLocation W20105624131 @default.
- W2010562413 hasConcept C111472728 @default.
- W2010562413 hasConcept C11413529 @default.
- W2010562413 hasConcept C121375916 @default.
- W2010562413 hasConcept C138885662 @default.
- W2010562413 hasConcept C142362112 @default.
- W2010562413 hasConcept C153349607 @default.
- W2010562413 hasConcept C154945302 @default.
- W2010562413 hasConcept C199360897 @default.
- W2010562413 hasConcept C24858836 @default.
- W2010562413 hasConcept C25016198 @default.
- W2010562413 hasConcept C2780586882 @default.
- W2010562413 hasConcept C41008148 @default.
- W2010562413 hasConcept C45374587 @default.
- W2010562413 hasConcept C558565934 @default.
- W2010562413 hasConcept C73301696 @default.
- W2010562413 hasConcept C80444323 @default.
- W2010562413 hasConceptScore W2010562413C111472728 @default.
- W2010562413 hasConceptScore W2010562413C11413529 @default.
- W2010562413 hasConceptScore W2010562413C121375916 @default.
- W2010562413 hasConceptScore W2010562413C138885662 @default.
- W2010562413 hasConceptScore W2010562413C142362112 @default.
- W2010562413 hasConceptScore W2010562413C153349607 @default.
- W2010562413 hasConceptScore W2010562413C154945302 @default.
- W2010562413 hasConceptScore W2010562413C199360897 @default.
- W2010562413 hasConceptScore W2010562413C24858836 @default.
- W2010562413 hasConceptScore W2010562413C25016198 @default.
- W2010562413 hasConceptScore W2010562413C2780586882 @default.
- W2010562413 hasConceptScore W2010562413C41008148 @default.
- W2010562413 hasConceptScore W2010562413C45374587 @default.
- W2010562413 hasConceptScore W2010562413C558565934 @default.
- W2010562413 hasConceptScore W2010562413C73301696 @default.
- W2010562413 hasConceptScore W2010562413C80444323 @default.
- W2010562413 hasIssue "1" @default.
- W2010562413 hasLocation W20105624131 @default.
- W2010562413 hasOpenAccess W2010562413 @default.
- W2010562413 hasPrimaryLocation W20105624131 @default.
- W2010562413 hasRelatedWork W134510267 @default.
- W2010562413 hasRelatedWork W1991575427 @default.
- W2010562413 hasRelatedWork W1999721188 @default.
- W2010562413 hasRelatedWork W2010562413 @default.
- W2010562413 hasRelatedWork W2034873935 @default.
- W2010562413 hasRelatedWork W2047117783 @default.
- W2010562413 hasRelatedWork W2121367871 @default.
- W2010562413 hasRelatedWork W2150498345 @default.
- W2010562413 hasRelatedWork W2762130752 @default.
- W2010562413 hasRelatedWork W4213089425 @default.
- W2010562413 hasVolume "12" @default.
- W2010562413 isParatext "false" @default.
- W2010562413 isRetracted "false" @default.
- W2010562413 magId "2010562413" @default.
- W2010562413 workType "article" @default.