Matches in SemOpenAlex for { <https://semopenalex.org/work/W2077853828> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W2077853828 endingPage "33" @default.
- W2077853828 startingPage "3" @default.
- W2077853828 abstract "In this paper we develop semantic models for a class of concurrent logic languages. We give two operational semantics based on a transition system, a declarative semantics and a denotational semantics. One operational and the declarative semantics model the success set, that is, the set of computed answer substitutions corresponding to all successfully terminating computations. The other operational and the denotational semantics also model deadlock and infinite computations. For the declarative and the denotational semantics we extend standard notions such as unification in order to cope with the synchronization mechanism of the class of languages we study. The basic mathematical structure for the declarative semantics is the complete lattice of sets of finite streams of substitutions. In the denotational semantics, we use a complete metric space of tree-like structures that are labelled with functions that represent the basic unification step. We look at the relations between the different models. We relate first the two operational semantics and next the declarative and denotational semantics with their respective operational counterparts." @default.
- W2077853828 created "2016-06-24" @default.
- W2077853828 creator A5012010960 @default.
- W2077853828 creator A5058708865 @default.
- W2077853828 creator A5062502864 @default.
- W2077853828 creator A5090842450 @default.
- W2077853828 date "1991-08-01" @default.
- W2077853828 modified "2023-09-28" @default.
- W2077853828 title "Semantic models for concurrent logic languages" @default.
- W2077853828 cites W108763789 @default.
- W2077853828 cites W117015770 @default.
- W2077853828 cites W1498484072 @default.
- W2077853828 cites W1499142746 @default.
- W2077853828 cites W150049894 @default.
- W2077853828 cites W1530974209 @default.
- W2077853828 cites W1539804543 @default.
- W2077853828 cites W1585399580 @default.
- W2077853828 cites W1595663182 @default.
- W2077853828 cites W1605195718 @default.
- W2077853828 cites W1811602476 @default.
- W2077853828 cites W1995902462 @default.
- W2077853828 cites W2033514658 @default.
- W2077853828 cites W2038945974 @default.
- W2077853828 cites W2076248384 @default.
- W2077853828 cites W2089111669 @default.
- W2077853828 cites W2108911687 @default.
- W2077853828 cites W2125129987 @default.
- W2077853828 cites W2132750992 @default.
- W2077853828 cites W2140920629 @default.
- W2077853828 cites W2143326699 @default.
- W2077853828 cites W2163058466 @default.
- W2077853828 cites W2171801144 @default.
- W2077853828 cites W2403278402 @default.
- W2077853828 cites W2564096940 @default.
- W2077853828 cites W2915015834 @default.
- W2077853828 cites W39560635 @default.
- W2077853828 cites W82671475 @default.
- W2077853828 cites W1530693522 @default.
- W2077853828 doi "https://doi.org/10.1016/0304-3975(91)90003-k" @default.
- W2077853828 hasPublicationYear "1991" @default.
- W2077853828 type Work @default.
- W2077853828 sameAs 2077853828 @default.
- W2077853828 citedByCount "5" @default.
- W2077853828 crossrefType "journal-article" @default.
- W2077853828 hasAuthorship W2077853828A5012010960 @default.
- W2077853828 hasAuthorship W2077853828A5058708865 @default.
- W2077853828 hasAuthorship W2077853828A5062502864 @default.
- W2077853828 hasAuthorship W2077853828A5090842450 @default.
- W2077853828 hasBestOaLocation W20778538282 @default.
- W2077853828 hasConcept C118615104 @default.
- W2077853828 hasConcept C150607116 @default.
- W2077853828 hasConcept C156325763 @default.
- W2077853828 hasConcept C184337299 @default.
- W2077853828 hasConcept C199360897 @default.
- W2077853828 hasConcept C207648694 @default.
- W2077853828 hasConcept C29585364 @default.
- W2077853828 hasConcept C33923547 @default.
- W2077853828 hasConcept C41008148 @default.
- W2077853828 hasConcept C80444323 @default.
- W2077853828 hasConcept C87365073 @default.
- W2077853828 hasConcept C89448276 @default.
- W2077853828 hasConcept C89497691 @default.
- W2077853828 hasConcept C96146094 @default.
- W2077853828 hasConceptScore W2077853828C118615104 @default.
- W2077853828 hasConceptScore W2077853828C150607116 @default.
- W2077853828 hasConceptScore W2077853828C156325763 @default.
- W2077853828 hasConceptScore W2077853828C184337299 @default.
- W2077853828 hasConceptScore W2077853828C199360897 @default.
- W2077853828 hasConceptScore W2077853828C207648694 @default.
- W2077853828 hasConceptScore W2077853828C29585364 @default.
- W2077853828 hasConceptScore W2077853828C33923547 @default.
- W2077853828 hasConceptScore W2077853828C41008148 @default.
- W2077853828 hasConceptScore W2077853828C80444323 @default.
- W2077853828 hasConceptScore W2077853828C87365073 @default.
- W2077853828 hasConceptScore W2077853828C89448276 @default.
- W2077853828 hasConceptScore W2077853828C89497691 @default.
- W2077853828 hasConceptScore W2077853828C96146094 @default.
- W2077853828 hasIssue "1" @default.
- W2077853828 hasLocation W20778538281 @default.
- W2077853828 hasLocation W20778538282 @default.
- W2077853828 hasOpenAccess W2077853828 @default.
- W2077853828 hasPrimaryLocation W20778538281 @default.
- W2077853828 hasRelatedWork W1578958123 @default.
- W2077853828 hasRelatedWork W1969894701 @default.
- W2077853828 hasRelatedWork W1970532182 @default.
- W2077853828 hasRelatedWork W2017152877 @default.
- W2077853828 hasRelatedWork W2035082615 @default.
- W2077853828 hasRelatedWork W2047273923 @default.
- W2077853828 hasRelatedWork W2055530613 @default.
- W2077853828 hasRelatedWork W2131706255 @default.
- W2077853828 hasRelatedWork W3163637575 @default.
- W2077853828 hasRelatedWork W1958334269 @default.
- W2077853828 hasVolume "86" @default.
- W2077853828 isParatext "false" @default.
- W2077853828 isRetracted "false" @default.
- W2077853828 magId "2077853828" @default.
- W2077853828 workType "article" @default.