Matches in SemOpenAlex for { <https://semopenalex.org/work/W1844138416> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W1844138416 endingPage "179" @default.
- W1844138416 startingPage "162" @default.
- W1844138416 abstract "Different semantic models for a nondeterministic programming language are defined, analysed, and compared in the formal framework of algebraic specifications of programming languages by abstract types. Four abstract types are given representing choice (erratic) nondeterminism, backtrack (demonic) nondeterminism, unbounded (angelic) nondeterminism and loose nondeterminism. The classes of algebras of these types represent classes of semantic models. A comparison of these classes of semantic models shows the connections and differences between the four different concepts of nondeterminism as found in programming languages." @default.
- W1844138416 created "2016-06-24" @default.
- W1844138416 creator A5042265989 @default.
- W1844138416 creator A5083480819 @default.
- W1844138416 date "1981-01-01" @default.
- W1844138416 modified "2023-09-26" @default.
- W1844138416 title "On the algebraic specification of nondeterministic programming languages" @default.
- W1844138416 cites W1531323259 @default.
- W1844138416 cites W1550482136 @default.
- W1844138416 cites W1761566145 @default.
- W1844138416 cites W1812404936 @default.
- W1844138416 cites W1883772204 @default.
- W1844138416 cites W1975595848 @default.
- W1844138416 cites W2039112578 @default.
- W1844138416 cites W2059034970 @default.
- W1844138416 cites W2060408210 @default.
- W1844138416 cites W2166089338 @default.
- W1844138416 cites W2292996153 @default.
- W1844138416 cites W4214608294 @default.
- W1844138416 doi "https://doi.org/10.1007/3-540-10828-9_61" @default.
- W1844138416 hasPublicationYear "1981" @default.
- W1844138416 type Work @default.
- W1844138416 sameAs 1844138416 @default.
- W1844138416 citedByCount "25" @default.
- W1844138416 countsByYear W18441384162012 @default.
- W1844138416 countsByYear W18441384162014 @default.
- W1844138416 countsByYear W18441384162015 @default.
- W1844138416 countsByYear W18441384162021 @default.
- W1844138416 countsByYear W18441384162022 @default.
- W1844138416 countsByYear W18441384162023 @default.
- W1844138416 crossrefType "book-chapter" @default.
- W1844138416 hasAuthorship W1844138416A5042265989 @default.
- W1844138416 hasAuthorship W1844138416A5083480819 @default.
- W1844138416 hasConcept C176181172 @default.
- W1844138416 hasConcept C199305712 @default.
- W1844138416 hasConcept C199360897 @default.
- W1844138416 hasConcept C201677973 @default.
- W1844138416 hasConcept C2777691520 @default.
- W1844138416 hasConcept C34165917 @default.
- W1844138416 hasConcept C41008148 @default.
- W1844138416 hasConcept C80444323 @default.
- W1844138416 hasConceptScore W1844138416C176181172 @default.
- W1844138416 hasConceptScore W1844138416C199305712 @default.
- W1844138416 hasConceptScore W1844138416C199360897 @default.
- W1844138416 hasConceptScore W1844138416C201677973 @default.
- W1844138416 hasConceptScore W1844138416C2777691520 @default.
- W1844138416 hasConceptScore W1844138416C34165917 @default.
- W1844138416 hasConceptScore W1844138416C41008148 @default.
- W1844138416 hasConceptScore W1844138416C80444323 @default.
- W1844138416 hasLocation W18441384161 @default.
- W1844138416 hasOpenAccess W1844138416 @default.
- W1844138416 hasPrimaryLocation W18441384161 @default.
- W1844138416 hasRelatedWork W1534969938 @default.
- W1844138416 hasRelatedWork W186841222 @default.
- W1844138416 hasRelatedWork W1952868133 @default.
- W1844138416 hasRelatedWork W2023056990 @default.
- W1844138416 hasRelatedWork W2032446387 @default.
- W1844138416 hasRelatedWork W2053384008 @default.
- W1844138416 hasRelatedWork W2071906443 @default.
- W1844138416 hasRelatedWork W2089642402 @default.
- W1844138416 hasRelatedWork W2351187484 @default.
- W1844138416 hasRelatedWork W2652642432 @default.
- W1844138416 isParatext "false" @default.
- W1844138416 isRetracted "false" @default.
- W1844138416 magId "1844138416" @default.
- W1844138416 workType "book-chapter" @default.