Matches in SemOpenAlex for { <https://semopenalex.org/work/W23085861> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W23085861 endingPage "50" @default.
- W23085861 startingPage "35" @default.
- W23085861 abstract "This paper discusses highly general mechanisms for specifying the refinement of a real-time system as a collection of lower level parallel components that preserve the timing and functional requirements of the upper level specification. These mechanisms are discussed in the context of ASTRAL, which is a formal specification language for real-time systems. Refinement is accomplished by mapping all of the elements of an upper level specification into lower level elements that may be split among several parallel components. In addition, actions that can occur in the upper level are mapped to actions of components operating at the lower level. This allows several types of implementation strategies to be specified in a fairly natural way, while the price for generality (in terms of complexity) is paid only when necessary. The refinement mechanisms are illustrated using a simple digital circuit and a much more complex example is sketched." @default.
- W23085861 created "2016-06-24" @default.
- W23085861 creator A5002217309 @default.
- W23085861 creator A5045603537 @default.
- W23085861 creator A5086231026 @default.
- W23085861 date "2000-01-01" @default.
- W23085861 modified "2023-09-27" @default.
- W23085861 title "Parallel Refinement Mechanisms for Real-Time Systems" @default.
- W23085861 cites W1825903259 @default.
- W23085861 cites W1978469611 @default.
- W23085861 cites W1978707903 @default.
- W23085861 cites W2018507204 @default.
- W23085861 cites W2066381570 @default.
- W23085861 cites W2126134153 @default.
- W23085861 cites W4249389872 @default.
- W23085861 doi "https://doi.org/10.1007/3-540-46428-x_4" @default.
- W23085861 hasPublicationYear "2000" @default.
- W23085861 type Work @default.
- W23085861 sameAs 23085861 @default.
- W23085861 citedByCount "1" @default.
- W23085861 crossrefType "book-chapter" @default.
- W23085861 hasAuthorship W23085861A5002217309 @default.
- W23085861 hasAuthorship W23085861A5045603537 @default.
- W23085861 hasAuthorship W23085861A5086231026 @default.
- W23085861 hasBestOaLocation W230858611 @default.
- W23085861 hasConcept C111472728 @default.
- W23085861 hasConcept C115903868 @default.
- W23085861 hasConcept C116253237 @default.
- W23085861 hasConcept C120314980 @default.
- W23085861 hasConcept C138885662 @default.
- W23085861 hasConcept C151730666 @default.
- W23085861 hasConcept C15744967 @default.
- W23085861 hasConcept C199360897 @default.
- W23085861 hasConcept C2779343474 @default.
- W23085861 hasConcept C2780586882 @default.
- W23085861 hasConcept C2780767217 @default.
- W23085861 hasConcept C2985583900 @default.
- W23085861 hasConcept C41008148 @default.
- W23085861 hasConcept C542102704 @default.
- W23085861 hasConcept C80444323 @default.
- W23085861 hasConcept C84651959 @default.
- W23085861 hasConcept C86803240 @default.
- W23085861 hasConceptScore W23085861C111472728 @default.
- W23085861 hasConceptScore W23085861C115903868 @default.
- W23085861 hasConceptScore W23085861C116253237 @default.
- W23085861 hasConceptScore W23085861C120314980 @default.
- W23085861 hasConceptScore W23085861C138885662 @default.
- W23085861 hasConceptScore W23085861C151730666 @default.
- W23085861 hasConceptScore W23085861C15744967 @default.
- W23085861 hasConceptScore W23085861C199360897 @default.
- W23085861 hasConceptScore W23085861C2779343474 @default.
- W23085861 hasConceptScore W23085861C2780586882 @default.
- W23085861 hasConceptScore W23085861C2780767217 @default.
- W23085861 hasConceptScore W23085861C2985583900 @default.
- W23085861 hasConceptScore W23085861C41008148 @default.
- W23085861 hasConceptScore W23085861C542102704 @default.
- W23085861 hasConceptScore W23085861C80444323 @default.
- W23085861 hasConceptScore W23085861C84651959 @default.
- W23085861 hasConceptScore W23085861C86803240 @default.
- W23085861 hasLocation W230858611 @default.
- W23085861 hasOpenAccess W23085861 @default.
- W23085861 hasPrimaryLocation W230858611 @default.
- W23085861 hasRelatedWork W1524361563 @default.
- W23085861 hasRelatedWork W1536552036 @default.
- W23085861 hasRelatedWork W1546517032 @default.
- W23085861 hasRelatedWork W1947824376 @default.
- W23085861 hasRelatedWork W1964111820 @default.
- W23085861 hasRelatedWork W1984757784 @default.
- W23085861 hasRelatedWork W2047524021 @default.
- W23085861 hasRelatedWork W2378785653 @default.
- W23085861 hasRelatedWork W4242922013 @default.
- W23085861 hasRelatedWork W9205283 @default.
- W23085861 isParatext "false" @default.
- W23085861 isRetracted "false" @default.
- W23085861 magId "23085861" @default.
- W23085861 workType "book-chapter" @default.