Matches in SemOpenAlex for { <https://semopenalex.org/work/W1566794738> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W1566794738 abstract "Based on an earlier work, we present an in-depth discussion of the relationsh- ips between synchrony and asynchrony. Simple models of both paradigms are presented, and we state theorems which guarantee correct desynchronization- , meaning that the original synchronous semantics can be reconstructed from the result of this desynchronization. This theory can be used as a basis for correct distributed code generation. The present paper presents a new data structure, the hierarchic normal form for a transition relation, which is instrumental in implementing this theory. We illustrate this on a example. The whole approach is implemented in the Signal compiler." @default.
- W1566794738 created "2016-06-24" @default.
- W1566794738 creator A5010968465 @default.
- W1566794738 creator A5041261044 @default.
- W1566794738 creator A5067313227 @default.
- W1566794738 creator A5075584449 @default.
- W1566794738 date "1999-01-01" @default.
- W1566794738 modified "2023-10-03" @default.
- W1566794738 title "Hierarchic Normal Forms for Desynchronization" @default.
- W1566794738 hasPublicationYear "1999" @default.
- W1566794738 type Work @default.
- W1566794738 sameAs 1566794738 @default.
- W1566794738 citedByCount "0" @default.
- W1566794738 crossrefType "journal-article" @default.
- W1566794738 hasAuthorship W1566794738A5010968465 @default.
- W1566794738 hasAuthorship W1566794738A5041261044 @default.
- W1566794738 hasAuthorship W1566794738A5067313227 @default.
- W1566794738 hasAuthorship W1566794738A5075584449 @default.
- W1566794738 hasConcept C111472728 @default.
- W1566794738 hasConcept C11413529 @default.
- W1566794738 hasConcept C124101348 @default.
- W1566794738 hasConcept C12426560 @default.
- W1566794738 hasConcept C138885662 @default.
- W1566794738 hasConcept C151319957 @default.
- W1566794738 hasConcept C154945302 @default.
- W1566794738 hasConcept C169590947 @default.
- W1566794738 hasConcept C177264268 @default.
- W1566794738 hasConcept C184337299 @default.
- W1566794738 hasConcept C199360897 @default.
- W1566794738 hasConcept C204321447 @default.
- W1566794738 hasConcept C2524010 @default.
- W1566794738 hasConcept C25343380 @default.
- W1566794738 hasConcept C2776760102 @default.
- W1566794738 hasConcept C2779019669 @default.
- W1566794738 hasConcept C2780586882 @default.
- W1566794738 hasConcept C31258907 @default.
- W1566794738 hasConcept C33923547 @default.
- W1566794738 hasConcept C41008148 @default.
- W1566794738 hasConcept C48103436 @default.
- W1566794738 hasConcept C80444323 @default.
- W1566794738 hasConceptScore W1566794738C111472728 @default.
- W1566794738 hasConceptScore W1566794738C11413529 @default.
- W1566794738 hasConceptScore W1566794738C124101348 @default.
- W1566794738 hasConceptScore W1566794738C12426560 @default.
- W1566794738 hasConceptScore W1566794738C138885662 @default.
- W1566794738 hasConceptScore W1566794738C151319957 @default.
- W1566794738 hasConceptScore W1566794738C154945302 @default.
- W1566794738 hasConceptScore W1566794738C169590947 @default.
- W1566794738 hasConceptScore W1566794738C177264268 @default.
- W1566794738 hasConceptScore W1566794738C184337299 @default.
- W1566794738 hasConceptScore W1566794738C199360897 @default.
- W1566794738 hasConceptScore W1566794738C204321447 @default.
- W1566794738 hasConceptScore W1566794738C2524010 @default.
- W1566794738 hasConceptScore W1566794738C25343380 @default.
- W1566794738 hasConceptScore W1566794738C2776760102 @default.
- W1566794738 hasConceptScore W1566794738C2779019669 @default.
- W1566794738 hasConceptScore W1566794738C2780586882 @default.
- W1566794738 hasConceptScore W1566794738C31258907 @default.
- W1566794738 hasConceptScore W1566794738C33923547 @default.
- W1566794738 hasConceptScore W1566794738C41008148 @default.
- W1566794738 hasConceptScore W1566794738C48103436 @default.
- W1566794738 hasConceptScore W1566794738C80444323 @default.
- W1566794738 hasOpenAccess W1566794738 @default.
- W1566794738 hasRelatedWork W1557918845 @default.
- W1566794738 hasRelatedWork W1591643794 @default.
- W1566794738 hasRelatedWork W1602042226 @default.
- W1566794738 hasRelatedWork W1683832533 @default.
- W1566794738 hasRelatedWork W1853050853 @default.
- W1566794738 hasRelatedWork W198116041 @default.
- W1566794738 hasRelatedWork W1997013119 @default.
- W1566794738 hasRelatedWork W2005976511 @default.
- W1566794738 hasRelatedWork W2087090692 @default.
- W1566794738 hasRelatedWork W2171997499 @default.
- W1566794738 hasRelatedWork W2568190651 @default.
- W1566794738 hasRelatedWork W2602974208 @default.
- W1566794738 hasRelatedWork W2630005813 @default.
- W1566794738 hasRelatedWork W2700580527 @default.
- W1566794738 hasRelatedWork W2810340194 @default.
- W1566794738 hasRelatedWork W2898021303 @default.
- W1566794738 hasRelatedWork W2912904668 @default.
- W1566794738 hasRelatedWork W2938037396 @default.
- W1566794738 hasRelatedWork W48981211 @default.
- W1566794738 hasRelatedWork W66857690 @default.
- W1566794738 isParatext "false" @default.
- W1566794738 isRetracted "false" @default.
- W1566794738 magId "1566794738" @default.
- W1566794738 workType "article" @default.