Matches in SemOpenAlex for { <https://semopenalex.org/work/W2115737710> ?p ?o ?g. }
- W2115737710 abstract "The paper studies the systematic top-down design of an asynchronous sender component as part of a software architecture. The receiver pulls messages from the sender by transmitting the number of messages requested. The design refines the communication-oriented input/output behaviour specified by a stream processing function into an implementation by a state transition machine. The development consists of three major transformation steps, viz. the differentiation of the stream processing function, the state introduction using a history abstraction, and the implementation of the abstract state space. The application explicates general methods for the formal design of interactive components in a functional setting" @default.
- W2115737710 created "2016-06-24" @default.
- W2115737710 creator A5002047147 @default.
- W2115737710 creator A5013482834 @default.
- W2115737710 date "2007-04-01" @default.
- W2115737710 modified "2023-09-26" @default.
- W2115737710 title "High-Level Design of a Request Driven Sender Component" @default.
- W2115737710 cites W132634201 @default.
- W2115737710 cites W1597755753 @default.
- W2115737710 cites W1767317000 @default.
- W2115737710 cites W1805767238 @default.
- W2115737710 cites W189544743 @default.
- W2115737710 cites W2005082107 @default.
- W2115737710 cites W2099529102 @default.
- W2115737710 cites W2139361404 @default.
- W2115737710 cites W2141955344 @default.
- W2115737710 cites W2142638944 @default.
- W2115737710 cites W3009953558 @default.
- W2115737710 cites W2615750249 @default.
- W2115737710 doi "https://doi.org/10.1109/itng.2007.100" @default.
- W2115737710 hasPublicationYear "2007" @default.
- W2115737710 type Work @default.
- W2115737710 sameAs 2115737710 @default.
- W2115737710 citedByCount "0" @default.
- W2115737710 crossrefType "proceedings-article" @default.
- W2115737710 hasAuthorship W2115737710A5002047147 @default.
- W2115737710 hasAuthorship W2115737710A5013482834 @default.
- W2115737710 hasConcept C104317684 @default.
- W2115737710 hasConcept C105795698 @default.
- W2115737710 hasConcept C111472728 @default.
- W2115737710 hasConcept C120314980 @default.
- W2115737710 hasConcept C121332964 @default.
- W2115737710 hasConcept C124304363 @default.
- W2115737710 hasConcept C134652429 @default.
- W2115737710 hasConcept C137059387 @default.
- W2115737710 hasConcept C138885662 @default.
- W2115737710 hasConcept C14036430 @default.
- W2115737710 hasConcept C149635348 @default.
- W2115737710 hasConcept C151319957 @default.
- W2115737710 hasConcept C168167062 @default.
- W2115737710 hasConcept C185592680 @default.
- W2115737710 hasConcept C198104137 @default.
- W2115737710 hasConcept C199360897 @default.
- W2115737710 hasConcept C204241405 @default.
- W2115737710 hasConcept C31258907 @default.
- W2115737710 hasConcept C33923547 @default.
- W2115737710 hasConcept C41008148 @default.
- W2115737710 hasConcept C42196554 @default.
- W2115737710 hasConcept C48103436 @default.
- W2115737710 hasConcept C55493867 @default.
- W2115737710 hasConcept C72434380 @default.
- W2115737710 hasConcept C76155785 @default.
- W2115737710 hasConcept C78458016 @default.
- W2115737710 hasConcept C7923308 @default.
- W2115737710 hasConcept C86803240 @default.
- W2115737710 hasConcept C97355855 @default.
- W2115737710 hasConceptScore W2115737710C104317684 @default.
- W2115737710 hasConceptScore W2115737710C105795698 @default.
- W2115737710 hasConceptScore W2115737710C111472728 @default.
- W2115737710 hasConceptScore W2115737710C120314980 @default.
- W2115737710 hasConceptScore W2115737710C121332964 @default.
- W2115737710 hasConceptScore W2115737710C124304363 @default.
- W2115737710 hasConceptScore W2115737710C134652429 @default.
- W2115737710 hasConceptScore W2115737710C137059387 @default.
- W2115737710 hasConceptScore W2115737710C138885662 @default.
- W2115737710 hasConceptScore W2115737710C14036430 @default.
- W2115737710 hasConceptScore W2115737710C149635348 @default.
- W2115737710 hasConceptScore W2115737710C151319957 @default.
- W2115737710 hasConceptScore W2115737710C168167062 @default.
- W2115737710 hasConceptScore W2115737710C185592680 @default.
- W2115737710 hasConceptScore W2115737710C198104137 @default.
- W2115737710 hasConceptScore W2115737710C199360897 @default.
- W2115737710 hasConceptScore W2115737710C204241405 @default.
- W2115737710 hasConceptScore W2115737710C31258907 @default.
- W2115737710 hasConceptScore W2115737710C33923547 @default.
- W2115737710 hasConceptScore W2115737710C41008148 @default.
- W2115737710 hasConceptScore W2115737710C42196554 @default.
- W2115737710 hasConceptScore W2115737710C48103436 @default.
- W2115737710 hasConceptScore W2115737710C55493867 @default.
- W2115737710 hasConceptScore W2115737710C72434380 @default.
- W2115737710 hasConceptScore W2115737710C76155785 @default.
- W2115737710 hasConceptScore W2115737710C78458016 @default.
- W2115737710 hasConceptScore W2115737710C7923308 @default.
- W2115737710 hasConceptScore W2115737710C86803240 @default.
- W2115737710 hasConceptScore W2115737710C97355855 @default.
- W2115737710 hasLocation W21157377101 @default.
- W2115737710 hasOpenAccess W2115737710 @default.
- W2115737710 hasPrimaryLocation W21157377101 @default.
- W2115737710 hasRelatedWork W2071492803 @default.
- W2115737710 hasRelatedWork W2081336949 @default.
- W2115737710 hasRelatedWork W2130966263 @default.
- W2115737710 hasRelatedWork W2157920827 @default.
- W2115737710 hasRelatedWork W2189349763 @default.
- W2115737710 hasRelatedWork W2379533788 @default.
- W2115737710 hasRelatedWork W2393653643 @default.
- W2115737710 hasRelatedWork W2900763005 @default.
- W2115737710 hasRelatedWork W3022245005 @default.
- W2115737710 hasRelatedWork W3046929440 @default.
- W2115737710 isParatext "false" @default.
- W2115737710 isRetracted "false" @default.