Matches in SemOpenAlex for { <https://semopenalex.org/work/W99817410> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W99817410 endingPage "35" @default.
- W99817410 startingPage "16" @default.
- W99817410 abstract "We motivate and present a logical semantic approach to types for concurrency and to soundness of related systems. The approach is illustrated by the development of a generic type system for the π-calculus, which may be instantiated for specific notions of typing by extension with adequate subtyping principles. Soundness of our type system is established using a logical predicate technique, based on a compositional spatial logic interpretation of types." @default.
- W99817410 created "2016-06-24" @default.
- W99817410 creator A5019928703 @default.
- W99817410 date "2007-08-21" @default.
- W99817410 modified "2023-09-24" @default.
- W99817410 title "Logical Semantics of Types for Concurrency" @default.
- W99817410 cites W1740406377 @default.
- W99817410 cites W1784055113 @default.
- W99817410 cites W1978469611 @default.
- W99817410 cites W1980939032 @default.
- W99817410 cites W2008132476 @default.
- W99817410 cites W2029819077 @default.
- W99817410 cites W2042360145 @default.
- W99817410 cites W2073222985 @default.
- W99817410 cites W2076632469 @default.
- W99817410 cites W2088962847 @default.
- W99817410 cites W2106102830 @default.
- W99817410 cites W2121405115 @default.
- W99817410 cites W2148025199 @default.
- W99817410 cites W2149837936 @default.
- W99817410 cites W2167998587 @default.
- W99817410 cites W2252526207 @default.
- W99817410 doi "https://doi.org/10.1007/978-3-540-73859-6_2" @default.
- W99817410 hasPublicationYear "2007" @default.
- W99817410 type Work @default.
- W99817410 sameAs 99817410 @default.
- W99817410 citedByCount "10" @default.
- W99817410 countsByYear W998174102012 @default.
- W99817410 countsByYear W998174102014 @default.
- W99817410 countsByYear W998174102015 @default.
- W99817410 countsByYear W998174102023 @default.
- W99817410 crossrefType "book-chapter" @default.
- W99817410 hasAuthorship W99817410A5019928703 @default.
- W99817410 hasBestOaLocation W998174102 @default.
- W99817410 hasConcept C140146324 @default.
- W99817410 hasConcept C18903297 @default.
- W99817410 hasConcept C193702766 @default.
- W99817410 hasConcept C199360897 @default.
- W99817410 hasConcept C2777299769 @default.
- W99817410 hasConcept C2780654840 @default.
- W99817410 hasConcept C39920170 @default.
- W99817410 hasConcept C41008148 @default.
- W99817410 hasConcept C80444323 @default.
- W99817410 hasConcept C83852419 @default.
- W99817410 hasConcept C86803240 @default.
- W99817410 hasConcept C93682546 @default.
- W99817410 hasConceptScore W99817410C140146324 @default.
- W99817410 hasConceptScore W99817410C18903297 @default.
- W99817410 hasConceptScore W99817410C193702766 @default.
- W99817410 hasConceptScore W99817410C199360897 @default.
- W99817410 hasConceptScore W99817410C2777299769 @default.
- W99817410 hasConceptScore W99817410C2780654840 @default.
- W99817410 hasConceptScore W99817410C39920170 @default.
- W99817410 hasConceptScore W99817410C41008148 @default.
- W99817410 hasConceptScore W99817410C80444323 @default.
- W99817410 hasConceptScore W99817410C83852419 @default.
- W99817410 hasConceptScore W99817410C86803240 @default.
- W99817410 hasConceptScore W99817410C93682546 @default.
- W99817410 hasLocation W998174101 @default.
- W99817410 hasLocation W998174102 @default.
- W99817410 hasOpenAccess W99817410 @default.
- W99817410 hasPrimaryLocation W998174101 @default.
- W99817410 hasRelatedWork W1506796540 @default.
- W99817410 hasRelatedWork W152483390 @default.
- W99817410 hasRelatedWork W1588888345 @default.
- W99817410 hasRelatedWork W1851509138 @default.
- W99817410 hasRelatedWork W2043876870 @default.
- W99817410 hasRelatedWork W2141094540 @default.
- W99817410 hasRelatedWork W2360455400 @default.
- W99817410 hasRelatedWork W2754865860 @default.
- W99817410 hasRelatedWork W2949178056 @default.
- W99817410 hasRelatedWork W99817410 @default.
- W99817410 isParatext "false" @default.
- W99817410 isRetracted "false" @default.
- W99817410 magId "99817410" @default.
- W99817410 workType "book-chapter" @default.