Matches in SemOpenAlex for { <https://semopenalex.org/work/W2562099332> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2562099332 endingPage "18" @default.
- W2562099332 startingPage "1" @default.
- W2562099332 abstract "Two semantic models for data flow nets are given. The first model is an intuitive, operational model. This model has an important drawback: it is not compositional. An example given in [Brock & Ackerman 1981] shows the non-compositionality of our model. There exist two nets that have the same semantics, but when they are placed in a specific context, the semantics of the resulting nets differ. The second one is obtained by adding information to the first model. The amount of information is enough to make it compositional. Moreover, we show that we have added the minimal amount of information to make the model compositional: the second model is fully abstract with respect to the equivalence generated by the first model. To be more specific: the first model describes the semantics a data flow net as a function from (tuples of) sequences of tokens to sets of (tuples of) sequences of tokens. The second one maps a data flow net to a function from (tuples of) infinite sequences of finite words tO sets of (tuples of) infinite sequences of finite words." @default.
- W2562099332 created "2017-01-06" @default.
- W2562099332 creator A5012010960 @default.
- W2562099332 date "1987-01-01" @default.
- W2562099332 modified "2023-09-28" @default.
- W2562099332 title "A fully abstract semantics for data flow nets" @default.
- W2562099332 hasPublicationYear "1987" @default.
- W2562099332 type Work @default.
- W2562099332 sameAs 2562099332 @default.
- W2562099332 citedByCount "0" @default.
- W2562099332 crossrefType "journal-article" @default.
- W2562099332 hasAuthorship W2562099332A5012010960 @default.
- W2562099332 hasConcept C118615104 @default.
- W2562099332 hasConcept C118930307 @default.
- W2562099332 hasConcept C121375916 @default.
- W2562099332 hasConcept C138885662 @default.
- W2562099332 hasConcept C14036430 @default.
- W2562099332 hasConcept C14166107 @default.
- W2562099332 hasConcept C151730666 @default.
- W2562099332 hasConcept C154945302 @default.
- W2562099332 hasConcept C184337299 @default.
- W2562099332 hasConcept C199360897 @default.
- W2562099332 hasConcept C2524010 @default.
- W2562099332 hasConcept C2779136372 @default.
- W2562099332 hasConcept C2779343474 @default.
- W2562099332 hasConcept C2780069185 @default.
- W2562099332 hasConcept C33923547 @default.
- W2562099332 hasConcept C41008148 @default.
- W2562099332 hasConcept C41895202 @default.
- W2562099332 hasConcept C78458016 @default.
- W2562099332 hasConcept C80444323 @default.
- W2562099332 hasConcept C86803240 @default.
- W2562099332 hasConceptScore W2562099332C118615104 @default.
- W2562099332 hasConceptScore W2562099332C118930307 @default.
- W2562099332 hasConceptScore W2562099332C121375916 @default.
- W2562099332 hasConceptScore W2562099332C138885662 @default.
- W2562099332 hasConceptScore W2562099332C14036430 @default.
- W2562099332 hasConceptScore W2562099332C14166107 @default.
- W2562099332 hasConceptScore W2562099332C151730666 @default.
- W2562099332 hasConceptScore W2562099332C154945302 @default.
- W2562099332 hasConceptScore W2562099332C184337299 @default.
- W2562099332 hasConceptScore W2562099332C199360897 @default.
- W2562099332 hasConceptScore W2562099332C2524010 @default.
- W2562099332 hasConceptScore W2562099332C2779136372 @default.
- W2562099332 hasConceptScore W2562099332C2779343474 @default.
- W2562099332 hasConceptScore W2562099332C2780069185 @default.
- W2562099332 hasConceptScore W2562099332C33923547 @default.
- W2562099332 hasConceptScore W2562099332C41008148 @default.
- W2562099332 hasConceptScore W2562099332C41895202 @default.
- W2562099332 hasConceptScore W2562099332C78458016 @default.
- W2562099332 hasConceptScore W2562099332C80444323 @default.
- W2562099332 hasConceptScore W2562099332C86803240 @default.
- W2562099332 hasLocation W25620993321 @default.
- W2562099332 hasOpenAccess W2562099332 @default.
- W2562099332 hasPrimaryLocation W25620993321 @default.
- W2562099332 hasRelatedWork W1484514685 @default.
- W2562099332 hasRelatedWork W1486949897 @default.
- W2562099332 hasRelatedWork W1545679392 @default.
- W2562099332 hasRelatedWork W1573192249 @default.
- W2562099332 hasRelatedWork W1578439982 @default.
- W2562099332 hasRelatedWork W1617063462 @default.
- W2562099332 hasRelatedWork W1830798555 @default.
- W2562099332 hasRelatedWork W1987419104 @default.
- W2562099332 hasRelatedWork W2067911273 @default.
- W2562099332 hasRelatedWork W2072621429 @default.
- W2562099332 hasRelatedWork W2079157146 @default.
- W2562099332 hasRelatedWork W2083689031 @default.
- W2562099332 hasRelatedWork W2155996966 @default.
- W2562099332 hasRelatedWork W2161029339 @default.
- W2562099332 hasRelatedWork W2167030131 @default.
- W2562099332 hasRelatedWork W2531895878 @default.
- W2562099332 hasRelatedWork W2550198362 @default.
- W2562099332 hasRelatedWork W2616408534 @default.
- W2562099332 hasRelatedWork W2949741382 @default.
- W2562099332 hasRelatedWork W3193649404 @default.
- W2562099332 isParatext "false" @default.
- W2562099332 isRetracted "false" @default.
- W2562099332 magId "2562099332" @default.
- W2562099332 workType "article" @default.