Matches in SemOpenAlex for { <https://semopenalex.org/work/W2021199294> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2021199294 endingPage "141" @default.
- W2021199294 startingPage "120" @default.
- W2021199294 abstract "We develop a notion of spatial-behavioral typing suitable to discipline concurrent interactions and resource usage in distributed object systems. Our type structure reflects a resource sensitive model, where a parallel composition type operator expresses resource independence, a sequential composition type operator expresses resource synchronization, and a type modality expresses resource ownership. We model the intended computational systems using a concurrent object calculus. Soundness of our type system is established using a logical relations technique, building on a interpretation of types as properties expressible in a spatial logic." @default.
- W2021199294 created "2016-06-24" @default.
- W2021199294 creator A5019928703 @default.
- W2021199294 date "2008-08-01" @default.
- W2021199294 modified "2023-10-17" @default.
- W2021199294 title "Spatial-behavioral types for concurrency and resource control in distributed systems" @default.
- W2021199294 cites W1557268818 @default.
- W2021199294 cites W2004048608 @default.
- W2021199294 cites W2027099721 @default.
- W2021199294 cites W2073222985 @default.
- W2021199294 cites W2076632469 @default.
- W2021199294 cites W2132761501 @default.
- W2021199294 cites W2154581630 @default.
- W2021199294 cites W2161353020 @default.
- W2021199294 cites W2169907127 @default.
- W2021199294 cites W2179972501 @default.
- W2021199294 cites W3081808863 @default.
- W2021199294 cites W4253775315 @default.
- W2021199294 doi "https://doi.org/10.1016/j.tcs.2008.04.030" @default.
- W2021199294 hasPublicationYear "2008" @default.
- W2021199294 type Work @default.
- W2021199294 sameAs 2021199294 @default.
- W2021199294 citedByCount "29" @default.
- W2021199294 countsByYear W20211992942012 @default.
- W2021199294 countsByYear W20211992942013 @default.
- W2021199294 countsByYear W20211992942014 @default.
- W2021199294 countsByYear W20211992942015 @default.
- W2021199294 countsByYear W20211992942016 @default.
- W2021199294 countsByYear W20211992942017 @default.
- W2021199294 countsByYear W20211992942018 @default.
- W2021199294 countsByYear W20211992942020 @default.
- W2021199294 countsByYear W20211992942021 @default.
- W2021199294 crossrefType "journal-article" @default.
- W2021199294 hasAuthorship W2021199294A5019928703 @default.
- W2021199294 hasBestOaLocation W20211992942 @default.
- W2021199294 hasConcept C120314980 @default.
- W2021199294 hasConcept C127162648 @default.
- W2021199294 hasConcept C175971053 @default.
- W2021199294 hasConcept C18903297 @default.
- W2021199294 hasConcept C193702766 @default.
- W2021199294 hasConcept C199360897 @default.
- W2021199294 hasConcept C206345919 @default.
- W2021199294 hasConcept C25016198 @default.
- W2021199294 hasConcept C2777299769 @default.
- W2021199294 hasConcept C2778562939 @default.
- W2021199294 hasConcept C28077239 @default.
- W2021199294 hasConcept C31258907 @default.
- W2021199294 hasConcept C39920170 @default.
- W2021199294 hasConcept C41008148 @default.
- W2021199294 hasConcept C75949130 @default.
- W2021199294 hasConcept C80444323 @default.
- W2021199294 hasConcept C84511453 @default.
- W2021199294 hasConcept C86803240 @default.
- W2021199294 hasConcept C93682546 @default.
- W2021199294 hasConceptScore W2021199294C120314980 @default.
- W2021199294 hasConceptScore W2021199294C127162648 @default.
- W2021199294 hasConceptScore W2021199294C175971053 @default.
- W2021199294 hasConceptScore W2021199294C18903297 @default.
- W2021199294 hasConceptScore W2021199294C193702766 @default.
- W2021199294 hasConceptScore W2021199294C199360897 @default.
- W2021199294 hasConceptScore W2021199294C206345919 @default.
- W2021199294 hasConceptScore W2021199294C25016198 @default.
- W2021199294 hasConceptScore W2021199294C2777299769 @default.
- W2021199294 hasConceptScore W2021199294C2778562939 @default.
- W2021199294 hasConceptScore W2021199294C28077239 @default.
- W2021199294 hasConceptScore W2021199294C31258907 @default.
- W2021199294 hasConceptScore W2021199294C39920170 @default.
- W2021199294 hasConceptScore W2021199294C41008148 @default.
- W2021199294 hasConceptScore W2021199294C75949130 @default.
- W2021199294 hasConceptScore W2021199294C80444323 @default.
- W2021199294 hasConceptScore W2021199294C84511453 @default.
- W2021199294 hasConceptScore W2021199294C86803240 @default.
- W2021199294 hasConceptScore W2021199294C93682546 @default.
- W2021199294 hasIssue "2-3" @default.
- W2021199294 hasLocation W20211992941 @default.
- W2021199294 hasLocation W20211992942 @default.
- W2021199294 hasOpenAccess W2021199294 @default.
- W2021199294 hasPrimaryLocation W20211992941 @default.
- W2021199294 hasRelatedWork W128328625 @default.
- W2021199294 hasRelatedWork W1486686561 @default.
- W2021199294 hasRelatedWork W1621051805 @default.
- W2021199294 hasRelatedWork W1992079058 @default.
- W2021199294 hasRelatedWork W2021199294 @default.
- W2021199294 hasRelatedWork W2081551198 @default.
- W2021199294 hasRelatedWork W2371976517 @default.
- W2021199294 hasRelatedWork W2899486387 @default.
- W2021199294 hasRelatedWork W4206956498 @default.
- W2021199294 hasRelatedWork W4237428255 @default.
- W2021199294 hasVolume "402" @default.
- W2021199294 isParatext "false" @default.
- W2021199294 isRetracted "false" @default.
- W2021199294 magId "2021199294" @default.
- W2021199294 workType "article" @default.