Matches in SemOpenAlex for { <https://semopenalex.org/work/W74310205> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W74310205 abstract "Starting with a formal problem specification, we show how to progressively achieve a parallel distributed solution, using convenient transformations of specifications. In order to achieve a solution, we use rewriting techniques applied in the context of transformations. This paper explains the methodology, points out its advantages and its requests. We first, introduce the specification language CO-OPN used to express both abstract specification and implementation. CO-OPN is a structured version of algebraic specification and Petri nets in which adequate notions of equivalence can be formalized to handle the concept of correct transformations. Then we introduce the general technique of applying transformations to get specifications progressively closer to the implementation level. These transformations are classified into two levels, the high level transformation performing abstract modification of algorithm and the low level transformations which are applicable on the specification closer to the implementation. Finally, a concrete example will show how the simple permutation sort can be transformed quite automatically in a distributed implementation of a quick sort algorithm." @default.
- W74310205 created "2016-06-24" @default.
- W74310205 creator A5013795728 @default.
- W74310205 creator A5038124329 @default.
- W74310205 creator A5045128977 @default.
- W74310205 date "1994-01-01" @default.
- W74310205 modified "2023-09-26" @default.
- W74310205 title "Developping parallel programs based on rewriting techniques" @default.
- W74310205 hasPublicationYear "1994" @default.
- W74310205 type Work @default.
- W74310205 sameAs 74310205 @default.
- W74310205 citedByCount "0" @default.
- W74310205 crossrefType "proceedings-article" @default.
- W74310205 hasAuthorship W74310205A5013795728 @default.
- W74310205 hasAuthorship W74310205A5038124329 @default.
- W74310205 hasAuthorship W74310205A5045128977 @default.
- W74310205 hasConcept C104317684 @default.
- W74310205 hasConcept C116253237 @default.
- W74310205 hasConcept C118615104 @default.
- W74310205 hasConcept C121332964 @default.
- W74310205 hasConcept C154690210 @default.
- W74310205 hasConcept C185592680 @default.
- W74310205 hasConcept C199360897 @default.
- W74310205 hasConcept C201677973 @default.
- W74310205 hasConcept C204241405 @default.
- W74310205 hasConcept C21308566 @default.
- W74310205 hasConcept C24890656 @default.
- W74310205 hasConcept C2778361913 @default.
- W74310205 hasConcept C2780069185 @default.
- W74310205 hasConcept C33923547 @default.
- W74310205 hasConcept C38677869 @default.
- W74310205 hasConcept C41008148 @default.
- W74310205 hasConcept C55493867 @default.
- W74310205 hasConcept C75606506 @default.
- W74310205 hasConcept C77088390 @default.
- W74310205 hasConcept C80444323 @default.
- W74310205 hasConcept C88548561 @default.
- W74310205 hasConceptScore W74310205C104317684 @default.
- W74310205 hasConceptScore W74310205C116253237 @default.
- W74310205 hasConceptScore W74310205C118615104 @default.
- W74310205 hasConceptScore W74310205C121332964 @default.
- W74310205 hasConceptScore W74310205C154690210 @default.
- W74310205 hasConceptScore W74310205C185592680 @default.
- W74310205 hasConceptScore W74310205C199360897 @default.
- W74310205 hasConceptScore W74310205C201677973 @default.
- W74310205 hasConceptScore W74310205C204241405 @default.
- W74310205 hasConceptScore W74310205C21308566 @default.
- W74310205 hasConceptScore W74310205C24890656 @default.
- W74310205 hasConceptScore W74310205C2778361913 @default.
- W74310205 hasConceptScore W74310205C2780069185 @default.
- W74310205 hasConceptScore W74310205C33923547 @default.
- W74310205 hasConceptScore W74310205C38677869 @default.
- W74310205 hasConceptScore W74310205C41008148 @default.
- W74310205 hasConceptScore W74310205C55493867 @default.
- W74310205 hasConceptScore W74310205C75606506 @default.
- W74310205 hasConceptScore W74310205C77088390 @default.
- W74310205 hasConceptScore W74310205C80444323 @default.
- W74310205 hasConceptScore W74310205C88548561 @default.
- W74310205 hasLocation W743102051 @default.
- W74310205 hasOpenAccess W74310205 @default.
- W74310205 hasPrimaryLocation W743102051 @default.
- W74310205 hasRelatedWork W1500494385 @default.
- W74310205 hasRelatedWork W1537937665 @default.
- W74310205 hasRelatedWork W163665164 @default.
- W74310205 hasRelatedWork W1883702554 @default.
- W74310205 hasRelatedWork W1979664764 @default.
- W74310205 hasRelatedWork W2023293472 @default.
- W74310205 hasRelatedWork W2039870350 @default.
- W74310205 hasRelatedWork W2044951665 @default.
- W74310205 hasRelatedWork W2150945325 @default.
- W74310205 hasRelatedWork W2181923524 @default.
- W74310205 hasRelatedWork W2185459925 @default.
- W74310205 hasRelatedWork W2185660871 @default.
- W74310205 hasRelatedWork W2257628339 @default.
- W74310205 hasRelatedWork W238188421 @default.
- W74310205 hasRelatedWork W2479043920 @default.
- W74310205 hasRelatedWork W2730816057 @default.
- W74310205 hasRelatedWork W2749943653 @default.
- W74310205 hasRelatedWork W2918597616 @default.
- W74310205 hasRelatedWork W2971064436 @default.
- W74310205 hasRelatedWork W3020973583 @default.
- W74310205 isParatext "false" @default.
- W74310205 isRetracted "false" @default.
- W74310205 magId "74310205" @default.
- W74310205 workType "article" @default.