Matches in SemOpenAlex for { <https://semopenalex.org/work/W1520050772> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W1520050772 abstract "In this thesis we prove the equivalence of an operational and a denotational semantics for pure dataflow.The term pure dataflow refers to dataflow nets in which the nodes are functional (i.e., the output history is a function of the input history only) and the arcs are unbounded fifo queues.Gilles Kahn gave a method for the representation of a pure dataflow net as a set of equations; one equation for each arc in the net. Kahn stated, and we prove, that the operational behaviour of a pure dataflow net is exactly described by the least fixed point solution to the net’s associated set of equations.In our model we do not require that nodes be sequential nor deterministic, not even the functional nodes. As a consequence our model has a claim of being completely general. In particular our nets have what we call the elcapsulation property in that any subnet can be replaced in any pure dataflow context by a node having exactly the same input/output behaviour. Our model is also complete in the sense that our nodes have what we call the universality property, that is, for any continuous history function there exists a node that will compute it.The proof of the Kahn principle given in this thesis makes use of infinite games of perfect information. Infinite games turn out to be an extremely useful tool for defining and proving results about operational semantics. We use infinite games to give for the first time a completely general definition of subnet functionality. In addition their use in certain proofs is effective in reducing notational complexity.Finally we look at possible ways of extending Kahn’s denotational model by the introduction of pause objects called hiatons. Finally we describe interesting ways of refining our operational model." @default.
- W1520050772 created "2016-06-24" @default.
- W1520050772 creator A5021386535 @default.
- W1520050772 date "1982-04-01" @default.
- W1520050772 modified "2023-10-04" @default.
- W1520050772 title "The equivalence of an operational and a denotational semantics for pure dataflow" @default.
- W1520050772 hasPublicationYear "1982" @default.
- W1520050772 type Work @default.
- W1520050772 sameAs 1520050772 @default.
- W1520050772 citedByCount "5" @default.
- W1520050772 crossrefType "dissertation" @default.
- W1520050772 hasAuthorship W1520050772A5021386535 @default.
- W1520050772 hasConcept C118615104 @default.
- W1520050772 hasConcept C156325763 @default.
- W1520050772 hasConcept C184337299 @default.
- W1520050772 hasConcept C199360897 @default.
- W1520050772 hasConcept C207648694 @default.
- W1520050772 hasConcept C2780069185 @default.
- W1520050772 hasConcept C33923547 @default.
- W1520050772 hasConcept C41008148 @default.
- W1520050772 hasConcept C80444323 @default.
- W1520050772 hasConcept C96324660 @default.
- W1520050772 hasConceptScore W1520050772C118615104 @default.
- W1520050772 hasConceptScore W1520050772C156325763 @default.
- W1520050772 hasConceptScore W1520050772C184337299 @default.
- W1520050772 hasConceptScore W1520050772C199360897 @default.
- W1520050772 hasConceptScore W1520050772C207648694 @default.
- W1520050772 hasConceptScore W1520050772C2780069185 @default.
- W1520050772 hasConceptScore W1520050772C33923547 @default.
- W1520050772 hasConceptScore W1520050772C41008148 @default.
- W1520050772 hasConceptScore W1520050772C80444323 @default.
- W1520050772 hasConceptScore W1520050772C96324660 @default.
- W1520050772 hasLocation W15200507721 @default.
- W1520050772 hasOpenAccess W1520050772 @default.
- W1520050772 hasPrimaryLocation W15200507721 @default.
- W1520050772 hasRelatedWork W1535347731 @default.
- W1520050772 hasRelatedWork W1547569459 @default.
- W1520050772 hasRelatedWork W1556199815 @default.
- W1520050772 hasRelatedWork W1597755753 @default.
- W1520050772 hasRelatedWork W1948304386 @default.
- W1520050772 hasRelatedWork W1994482315 @default.
- W1520050772 hasRelatedWork W202430707 @default.
- W1520050772 hasRelatedWork W2092412604 @default.
- W1520050772 hasRelatedWork W2240079117 @default.
- W1520050772 hasRelatedWork W2271906408 @default.
- W1520050772 hasRelatedWork W2395244651 @default.
- W1520050772 hasRelatedWork W2497178367 @default.
- W1520050772 hasRelatedWork W2617161903 @default.
- W1520050772 hasRelatedWork W269693704 @default.
- W1520050772 hasRelatedWork W2780733723 @default.
- W1520050772 hasRelatedWork W2899389232 @default.
- W1520050772 hasRelatedWork W2913825320 @default.
- W1520050772 hasRelatedWork W3022535823 @default.
- W1520050772 hasRelatedWork W2186618191 @default.
- W1520050772 hasRelatedWork W2803007949 @default.
- W1520050772 isParatext "false" @default.
- W1520050772 isRetracted "false" @default.
- W1520050772 magId "1520050772" @default.
- W1520050772 workType "dissertation" @default.