Matches in SemOpenAlex for { <https://semopenalex.org/work/W2072956997> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2072956997 endingPage "181" @default.
- W2072956997 startingPage "157" @default.
- W2072956997 abstract "The notion of contextual (or operational) equivalence is fundamental in the theory of programming languages. By setting up a notion of bisimilarity, and showing that it coincides with contextual equivalence, one obtains a simple coinductive proof technique for showing that two programs are equivalent in all contexts. In this paper we apply these (now standard) techniques to interactions nets, a graphical programming language characterized by local reduction. This work generalizes previous studies of operational equivalence in typed interaction nets since it can be applied to untyped systems, thus all systems of interaction nets are captured." @default.
- W2072956997 created "2016-06-24" @default.
- W2072956997 creator A5064069533 @default.
- W2072956997 creator A5072769917 @default.
- W2072956997 date "2003-03-01" @default.
- W2072956997 modified "2023-09-25" @default.
- W2072956997 title "Operational equivalence for interaction nets" @default.
- W2072956997 cites W2018474310 @default.
- W2072956997 cites W2025834181 @default.
- W2072956997 cites W2092367588 @default.
- W2072956997 cites W2101887932 @default.
- W2072956997 cites W2294530123 @default.
- W2072956997 cites W2911303149 @default.
- W2072956997 cites W2911865844 @default.
- W2072956997 doi "https://doi.org/10.1016/s0304-3975(02)00637-0" @default.
- W2072956997 hasPublicationYear "2003" @default.
- W2072956997 type Work @default.
- W2072956997 sameAs 2072956997 @default.
- W2072956997 citedByCount "11" @default.
- W2072956997 countsByYear W20729569972012 @default.
- W2072956997 countsByYear W20729569972013 @default.
- W2072956997 countsByYear W20729569972014 @default.
- W2072956997 crossrefType "journal-article" @default.
- W2072956997 hasAuthorship W2072956997A5064069533 @default.
- W2072956997 hasAuthorship W2072956997A5072769917 @default.
- W2072956997 hasConcept C108710211 @default.
- W2072956997 hasConcept C111472728 @default.
- W2072956997 hasConcept C118615104 @default.
- W2072956997 hasConcept C136119220 @default.
- W2072956997 hasConcept C138885662 @default.
- W2072956997 hasConcept C156103551 @default.
- W2072956997 hasConcept C199360897 @default.
- W2072956997 hasConcept C202444582 @default.
- W2072956997 hasConcept C2524010 @default.
- W2072956997 hasConcept C2780069185 @default.
- W2072956997 hasConcept C2780586882 @default.
- W2072956997 hasConcept C33923547 @default.
- W2072956997 hasConcept C40220748 @default.
- W2072956997 hasConcept C41008148 @default.
- W2072956997 hasConcept C70846408 @default.
- W2072956997 hasConcept C80444323 @default.
- W2072956997 hasConceptScore W2072956997C108710211 @default.
- W2072956997 hasConceptScore W2072956997C111472728 @default.
- W2072956997 hasConceptScore W2072956997C118615104 @default.
- W2072956997 hasConceptScore W2072956997C136119220 @default.
- W2072956997 hasConceptScore W2072956997C138885662 @default.
- W2072956997 hasConceptScore W2072956997C156103551 @default.
- W2072956997 hasConceptScore W2072956997C199360897 @default.
- W2072956997 hasConceptScore W2072956997C202444582 @default.
- W2072956997 hasConceptScore W2072956997C2524010 @default.
- W2072956997 hasConceptScore W2072956997C2780069185 @default.
- W2072956997 hasConceptScore W2072956997C2780586882 @default.
- W2072956997 hasConceptScore W2072956997C33923547 @default.
- W2072956997 hasConceptScore W2072956997C40220748 @default.
- W2072956997 hasConceptScore W2072956997C41008148 @default.
- W2072956997 hasConceptScore W2072956997C70846408 @default.
- W2072956997 hasConceptScore W2072956997C80444323 @default.
- W2072956997 hasIssue "1-3" @default.
- W2072956997 hasLocation W20729569971 @default.
- W2072956997 hasOpenAccess W2072956997 @default.
- W2072956997 hasPrimaryLocation W20729569971 @default.
- W2072956997 hasRelatedWork W1484166989 @default.
- W2072956997 hasRelatedWork W1555667134 @default.
- W2072956997 hasRelatedWork W1823469408 @default.
- W2072956997 hasRelatedWork W1985488429 @default.
- W2072956997 hasRelatedWork W2060359281 @default.
- W2072956997 hasRelatedWork W2062762081 @default.
- W2072956997 hasRelatedWork W2072956997 @default.
- W2072956997 hasRelatedWork W2154149088 @default.
- W2072956997 hasRelatedWork W42325439 @default.
- W2072956997 hasRelatedWork W890393498 @default.
- W2072956997 hasVolume "297" @default.
- W2072956997 isParatext "false" @default.
- W2072956997 isRetracted "false" @default.
- W2072956997 magId "2072956997" @default.
- W2072956997 workType "article" @default.