Matches in SemOpenAlex for { <https://semopenalex.org/work/W2038643359> ?p ?o ?g. }
Showing items 1 to 58 of
58
with 100 items per page.
- W2038643359 endingPage "97" @default.
- W2038643359 startingPage "79" @default.
- W2038643359 abstract "The action systems framework for modelling parallel programs is used to formally specify a microprocessor. First the microprocessor is specified as a sequential program. The sequential specification is then decomposed and refined into a concurrent program using correctnesspreserving program transformations. Previously this microprocessor has been specified at Caltech, where an asynchronous circuit for the microprocessor was derived from the specification. We propose a specification strategy that is based on the idea of spatial decomposition of the program variable space." @default.
- W2038643359 created "2016-06-24" @default.
- W2038643359 creator A5049657251 @default.
- W2038643359 creator A5082820370 @default.
- W2038643359 creator A5089529262 @default.
- W2038643359 date "1996-05-01" @default.
- W2038643359 modified "2023-09-28" @default.
- W2038643359 title "Specifying the Caltech asynchronous microprocessor" @default.
- W2038643359 cites W2011444209 @default.
- W2038643359 cites W2031669812 @default.
- W2038643359 cites W2087713039 @default.
- W2038643359 cites W2117526806 @default.
- W2038643359 doi "https://doi.org/10.1016/0167-6423(95)00023-2" @default.
- W2038643359 hasPublicationYear "1996" @default.
- W2038643359 type Work @default.
- W2038643359 sameAs 2038643359 @default.
- W2038643359 citedByCount "13" @default.
- W2038643359 crossrefType "journal-article" @default.
- W2038643359 hasAuthorship W2038643359A5049657251 @default.
- W2038643359 hasAuthorship W2038643359A5082820370 @default.
- W2038643359 hasAuthorship W2038643359A5089529262 @default.
- W2038643359 hasBestOaLocation W20386433591 @default.
- W2038643359 hasConcept C149635348 @default.
- W2038643359 hasConcept C151319957 @default.
- W2038643359 hasConcept C173608175 @default.
- W2038643359 hasConcept C199360897 @default.
- W2038643359 hasConcept C2780728072 @default.
- W2038643359 hasConcept C31258907 @default.
- W2038643359 hasConcept C41008148 @default.
- W2038643359 hasConceptScore W2038643359C149635348 @default.
- W2038643359 hasConceptScore W2038643359C151319957 @default.
- W2038643359 hasConceptScore W2038643359C173608175 @default.
- W2038643359 hasConceptScore W2038643359C199360897 @default.
- W2038643359 hasConceptScore W2038643359C2780728072 @default.
- W2038643359 hasConceptScore W2038643359C31258907 @default.
- W2038643359 hasConceptScore W2038643359C41008148 @default.
- W2038643359 hasIssue "1-3" @default.
- W2038643359 hasLocation W20386433591 @default.
- W2038643359 hasLocation W20386433592 @default.
- W2038643359 hasOpenAccess W2038643359 @default.
- W2038643359 hasPrimaryLocation W20386433591 @default.
- W2038643359 hasRelatedWork W1585995650 @default.
- W2038643359 hasRelatedWork W1600257749 @default.
- W2038643359 hasRelatedWork W2048634445 @default.
- W2038643359 hasRelatedWork W2135396778 @default.
- W2038643359 hasRelatedWork W2373887801 @default.
- W2038643359 hasRelatedWork W2888918673 @default.
- W2038643359 hasRelatedWork W3011151575 @default.
- W2038643359 hasRelatedWork W4242837953 @default.
- W2038643359 hasRelatedWork W4243252198 @default.
- W2038643359 hasRelatedWork W4280528130 @default.
- W2038643359 hasVolume "26" @default.
- W2038643359 isParatext "false" @default.
- W2038643359 isRetracted "false" @default.
- W2038643359 magId "2038643359" @default.
- W2038643359 workType "article" @default.