Matches in SemOpenAlex for { <https://semopenalex.org/work/W1972857373> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W1972857373 endingPage "196" @default.
- W1972857373 startingPage "171" @default.
- W1972857373 abstract "The problem of finding a fully abstract model for the polymorphic π-calculus was stated in Pierce and Sangiorgi’s work in 1997 and has remained open since then. In this paper, we show that a variant of their language has a fully abstract model, which does not depend on type unification or logical relations. This is the first fully abstract model for a polymorphic concurrent language. In addition, we discuss the relationship between our work and Pierce and Sangiorgi’s, and show that their model based on type unification is sound but not complete." @default.
- W1972857373 created "2016-06-24" @default.
- W1972857373 creator A5012868882 @default.
- W1972857373 creator A5062506473 @default.
- W1972857373 date "2008-01-01" @default.
- W1972857373 modified "2023-10-16" @default.
- W1972857373 title "Full abstraction for polymorphic <mml:math xmlns:mml=http://www.w3.org/1998/Math/MathML altimg=si1.gif display=inline overflow=scroll><mml:mi>π</mml:mi></mml:math>-calculus" @default.
- W1972857373 cites W1981303668 @default.
- W1972857373 cites W2004048608 @default.
- W1972857373 cites W2007270285 @default.
- W1972857373 cites W2011491369 @default.
- W1972857373 cites W2039112578 @default.
- W1972857373 cites W2072048176 @default.
- W1972857373 cites W2102097307 @default.
- W1972857373 cites W2128932399 @default.
- W1972857373 cites W2149412346 @default.
- W1972857373 cites W3046800578 @default.
- W1972857373 doi "https://doi.org/10.1016/j.tcs.2007.09.020" @default.
- W1972857373 hasPublicationYear "2008" @default.
- W1972857373 type Work @default.
- W1972857373 sameAs 1972857373 @default.
- W1972857373 citedByCount "8" @default.
- W1972857373 countsByYear W19728573732013 @default.
- W1972857373 countsByYear W19728573732015 @default.
- W1972857373 countsByYear W19728573732016 @default.
- W1972857373 crossrefType "journal-article" @default.
- W1972857373 hasAuthorship W1972857373A5012868882 @default.
- W1972857373 hasAuthorship W1972857373A5062506473 @default.
- W1972857373 hasConcept C111472728 @default.
- W1972857373 hasConcept C11413529 @default.
- W1972857373 hasConcept C124304363 @default.
- W1972857373 hasConcept C138885662 @default.
- W1972857373 hasConcept C18903297 @default.
- W1972857373 hasConcept C199343813 @default.
- W1972857373 hasConcept C199360897 @default.
- W1972857373 hasConcept C27206212 @default.
- W1972857373 hasConcept C2777299769 @default.
- W1972857373 hasConcept C2777686260 @default.
- W1972857373 hasConcept C2781324535 @default.
- W1972857373 hasConcept C33923547 @default.
- W1972857373 hasConcept C41008148 @default.
- W1972857373 hasConcept C71924100 @default.
- W1972857373 hasConcept C86803240 @default.
- W1972857373 hasConcept C96146094 @default.
- W1972857373 hasConceptScore W1972857373C111472728 @default.
- W1972857373 hasConceptScore W1972857373C11413529 @default.
- W1972857373 hasConceptScore W1972857373C124304363 @default.
- W1972857373 hasConceptScore W1972857373C138885662 @default.
- W1972857373 hasConceptScore W1972857373C18903297 @default.
- W1972857373 hasConceptScore W1972857373C199343813 @default.
- W1972857373 hasConceptScore W1972857373C199360897 @default.
- W1972857373 hasConceptScore W1972857373C27206212 @default.
- W1972857373 hasConceptScore W1972857373C2777299769 @default.
- W1972857373 hasConceptScore W1972857373C2777686260 @default.
- W1972857373 hasConceptScore W1972857373C2781324535 @default.
- W1972857373 hasConceptScore W1972857373C33923547 @default.
- W1972857373 hasConceptScore W1972857373C41008148 @default.
- W1972857373 hasConceptScore W1972857373C71924100 @default.
- W1972857373 hasConceptScore W1972857373C86803240 @default.
- W1972857373 hasConceptScore W1972857373C96146094 @default.
- W1972857373 hasIssue "2-3" @default.
- W1972857373 hasLocation W19728573731 @default.
- W1972857373 hasOpenAccess W1972857373 @default.
- W1972857373 hasPrimaryLocation W19728573731 @default.
- W1972857373 hasRelatedWork W137976737 @default.
- W1972857373 hasRelatedWork W1504651774 @default.
- W1972857373 hasRelatedWork W1565263828 @default.
- W1972857373 hasRelatedWork W1830380692 @default.
- W1972857373 hasRelatedWork W1855927527 @default.
- W1972857373 hasRelatedWork W1999473061 @default.
- W1972857373 hasRelatedWork W2156076209 @default.
- W1972857373 hasRelatedWork W3160136729 @default.
- W1972857373 hasRelatedWork W82646890 @default.
- W1972857373 hasRelatedWork W2611182424 @default.
- W1972857373 hasVolume "390" @default.
- W1972857373 isParatext "false" @default.
- W1972857373 isRetracted "false" @default.
- W1972857373 magId "1972857373" @default.
- W1972857373 workType "article" @default.
