Matches in SemOpenAlex for { <https://semopenalex.org/work/W1579264875> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W1579264875 abstract "Full abstraction of a denotational model w.r.t. operational ones for a concurrent language L is investigated. The language is nonuniform in that the meaning of atomic statements generally depends on the current state; it has parameterization with channel- and value-parameters and locality in the form of local variables and local channels, in addition to more conventional constructs: value assignments to variables, parallel composition with CSP/CCS-like communication, nondeterministic choice, and recursion. First two operational models OL and O L * for L are introduced in terms of a Plotkin-style transition system. Both models are linear in that they map each statement to the set of its possible execution paths of a certain kind; the second model O L * is more abstract than the first one in that O L * ignores states while OL involves them. Then a denotational model D is defined compositionally using interpreted operations of the language, with meanings of recursive programs as fixed points in an appropriate complete metric space. The the full abstraction of D w.r.t. OL and O L * established. That is, it is shown for O=OL, O L * that D is most abstract of those models C which are compositional and more distinctive than O." @default.
- W1579264875 created "2016-06-24" @default.
- W1579264875 creator A5010739087 @default.
- W1579264875 date "1993-01-01" @default.
- W1579264875 modified "2023-09-23" @default.
- W1579264875 title "A fully abstract model for a nonuniform concurrent language with parameterization and locality" @default.
- W1579264875 cites W1418534626 @default.
- W1579264875 cites W1487166760 @default.
- W1579264875 cites W1517759553 @default.
- W1579264875 cites W1566845923 @default.
- W1579264875 cites W1995902462 @default.
- W1579264875 cites W2102097307 @default.
- W1579264875 cites W2109805557 @default.
- W1579264875 cites W2140920629 @default.
- W1579264875 cites W2157144873 @default.
- W1579264875 cites W2245053867 @default.
- W1579264875 cites W2294826973 @default.
- W1579264875 cites W2101082308 @default.
- W1579264875 doi "https://doi.org/10.1007/3-540-56596-5_38" @default.
- W1579264875 hasPublicationYear "1993" @default.
- W1579264875 type Work @default.
- W1579264875 sameAs 1579264875 @default.
- W1579264875 citedByCount "3" @default.
- W1579264875 crossrefType "book-chapter" @default.
- W1579264875 hasAuthorship W1579264875A5010739087 @default.
- W1579264875 hasConcept C111472728 @default.
- W1579264875 hasConcept C11413529 @default.
- W1579264875 hasConcept C118615104 @default.
- W1579264875 hasConcept C121375916 @default.
- W1579264875 hasConcept C124304363 @default.
- W1579264875 hasConcept C138885662 @default.
- W1579264875 hasConcept C154945302 @default.
- W1579264875 hasConcept C156325763 @default.
- W1579264875 hasConcept C168773036 @default.
- W1579264875 hasConcept C176181172 @default.
- W1579264875 hasConcept C177264268 @default.
- W1579264875 hasConcept C184337299 @default.
- W1579264875 hasConcept C199360897 @default.
- W1579264875 hasConcept C207648694 @default.
- W1579264875 hasConcept C2779808786 @default.
- W1579264875 hasConcept C33923547 @default.
- W1579264875 hasConcept C41008148 @default.
- W1579264875 hasConcept C41895202 @default.
- W1579264875 hasConceptScore W1579264875C111472728 @default.
- W1579264875 hasConceptScore W1579264875C11413529 @default.
- W1579264875 hasConceptScore W1579264875C118615104 @default.
- W1579264875 hasConceptScore W1579264875C121375916 @default.
- W1579264875 hasConceptScore W1579264875C124304363 @default.
- W1579264875 hasConceptScore W1579264875C138885662 @default.
- W1579264875 hasConceptScore W1579264875C154945302 @default.
- W1579264875 hasConceptScore W1579264875C156325763 @default.
- W1579264875 hasConceptScore W1579264875C168773036 @default.
- W1579264875 hasConceptScore W1579264875C176181172 @default.
- W1579264875 hasConceptScore W1579264875C177264268 @default.
- W1579264875 hasConceptScore W1579264875C184337299 @default.
- W1579264875 hasConceptScore W1579264875C199360897 @default.
- W1579264875 hasConceptScore W1579264875C207648694 @default.
- W1579264875 hasConceptScore W1579264875C2779808786 @default.
- W1579264875 hasConceptScore W1579264875C33923547 @default.
- W1579264875 hasConceptScore W1579264875C41008148 @default.
- W1579264875 hasConceptScore W1579264875C41895202 @default.
- W1579264875 hasLocation W15792648751 @default.
- W1579264875 hasOpenAccess W1579264875 @default.
- W1579264875 hasPrimaryLocation W15792648751 @default.
- W1579264875 hasRelatedWork W1508378755 @default.
- W1579264875 hasRelatedWork W1522480582 @default.
- W1579264875 hasRelatedWork W1575539438 @default.
- W1579264875 hasRelatedWork W1596995239 @default.
- W1579264875 hasRelatedWork W1604013339 @default.
- W1579264875 hasRelatedWork W1667913537 @default.
- W1579264875 hasRelatedWork W2007098021 @default.
- W1579264875 hasRelatedWork W2052804469 @default.
- W1579264875 hasRelatedWork W2076908926 @default.
- W1579264875 hasRelatedWork W2096619922 @default.
- W1579264875 hasRelatedWork W2124345097 @default.
- W1579264875 hasRelatedWork W2129965117 @default.
- W1579264875 hasRelatedWork W2134996232 @default.
- W1579264875 hasRelatedWork W2147374240 @default.
- W1579264875 hasRelatedWork W2477982213 @default.
- W1579264875 hasRelatedWork W2809754822 @default.
- W1579264875 hasRelatedWork W2950298152 @default.
- W1579264875 hasRelatedWork W3100138022 @default.
- W1579264875 hasRelatedWork W3108957328 @default.
- W1579264875 hasRelatedWork W3114657538 @default.
- W1579264875 isParatext "false" @default.
- W1579264875 isRetracted "false" @default.
- W1579264875 magId "1579264875" @default.
- W1579264875 workType "book-chapter" @default.