Matches in SemOpenAlex for { <https://semopenalex.org/work/W2092367588> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2092367588 endingPage "112" @default.
- W2092367588 startingPage "103" @default.
- W2092367588 abstract "We give a method for proving congruence of bisimulation-like equivalences in functional programming languages. The method applies to languages that can be presented as a set of expressions together with an evaluation relation. We use this method to show that some generalizations of Abramsky's applicative bisimulation are congruences whenever evaluation can be specified by a certain natural form of structured operational semantics. One of the generalizations handles nondeterminism and diverging computations." @default.
- W2092367588 created "2016-06-24" @default.
- W2092367588 creator A5073189486 @default.
- W2092367588 date "1996-02-01" @default.
- W2092367588 modified "2023-10-18" @default.
- W2092367588 title "Proving Congruence of Bisimulation in Functional Programming Languages" @default.
- W2092367588 cites W1586911726 @default.
- W2092367588 cites W1597593202 @default.
- W2092367588 cites W165991029 @default.
- W2092367588 cites W175644955 @default.
- W2092367588 cites W1980378659 @default.
- W2092367588 cites W1999706742 @default.
- W2092367588 cites W2110018753 @default.
- W2092367588 cites W2118883965 @default.
- W2092367588 cites W2165407648 @default.
- W2092367588 cites W2167949883 @default.
- W2092367588 cites W2914260883 @default.
- W2092367588 doi "https://doi.org/10.1006/inco.1996.0008" @default.
- W2092367588 hasPublicationYear "1996" @default.
- W2092367588 type Work @default.
- W2092367588 sameAs 2092367588 @default.
- W2092367588 citedByCount "237" @default.
- W2092367588 countsByYear W20923675882012 @default.
- W2092367588 countsByYear W20923675882013 @default.
- W2092367588 countsByYear W20923675882014 @default.
- W2092367588 countsByYear W20923675882015 @default.
- W2092367588 countsByYear W20923675882016 @default.
- W2092367588 countsByYear W20923675882017 @default.
- W2092367588 countsByYear W20923675882018 @default.
- W2092367588 countsByYear W20923675882019 @default.
- W2092367588 countsByYear W20923675882020 @default.
- W2092367588 countsByYear W20923675882021 @default.
- W2092367588 countsByYear W20923675882022 @default.
- W2092367588 countsByYear W20923675882023 @default.
- W2092367588 crossrefType "journal-article" @default.
- W2092367588 hasAuthorship W2092367588A5073189486 @default.
- W2092367588 hasBestOaLocation W20923675881 @default.
- W2092367588 hasConcept C118615104 @default.
- W2092367588 hasConcept C132074034 @default.
- W2092367588 hasConcept C135315306 @default.
- W2092367588 hasConcept C136119220 @default.
- W2092367588 hasConcept C156325763 @default.
- W2092367588 hasConcept C177264268 @default.
- W2092367588 hasConcept C184337299 @default.
- W2092367588 hasConcept C199360897 @default.
- W2092367588 hasConcept C202444582 @default.
- W2092367588 hasConcept C2524010 @default.
- W2092367588 hasConcept C33923547 @default.
- W2092367588 hasConcept C41008148 @default.
- W2092367588 hasConcept C80444323 @default.
- W2092367588 hasConcept C9973445 @default.
- W2092367588 hasConceptScore W2092367588C118615104 @default.
- W2092367588 hasConceptScore W2092367588C132074034 @default.
- W2092367588 hasConceptScore W2092367588C135315306 @default.
- W2092367588 hasConceptScore W2092367588C136119220 @default.
- W2092367588 hasConceptScore W2092367588C156325763 @default.
- W2092367588 hasConceptScore W2092367588C177264268 @default.
- W2092367588 hasConceptScore W2092367588C184337299 @default.
- W2092367588 hasConceptScore W2092367588C199360897 @default.
- W2092367588 hasConceptScore W2092367588C202444582 @default.
- W2092367588 hasConceptScore W2092367588C2524010 @default.
- W2092367588 hasConceptScore W2092367588C33923547 @default.
- W2092367588 hasConceptScore W2092367588C41008148 @default.
- W2092367588 hasConceptScore W2092367588C80444323 @default.
- W2092367588 hasConceptScore W2092367588C9973445 @default.
- W2092367588 hasIssue "2" @default.
- W2092367588 hasLocation W20923675881 @default.
- W2092367588 hasOpenAccess W2092367588 @default.
- W2092367588 hasPrimaryLocation W20923675881 @default.
- W2092367588 hasRelatedWork W1536150964 @default.
- W2092367588 hasRelatedWork W1543496272 @default.
- W2092367588 hasRelatedWork W1574607751 @default.
- W2092367588 hasRelatedWork W1973482879 @default.
- W2092367588 hasRelatedWork W1999706742 @default.
- W2092367588 hasRelatedWork W2092367588 @default.
- W2092367588 hasRelatedWork W2127358709 @default.
- W2092367588 hasRelatedWork W2167838019 @default.
- W2092367588 hasRelatedWork W2251500794 @default.
- W2092367588 hasRelatedWork W2807761056 @default.
- W2092367588 hasVolume "124" @default.
- W2092367588 isParatext "false" @default.
- W2092367588 isRetracted "false" @default.
- W2092367588 magId "2092367588" @default.
- W2092367588 workType "article" @default.