Matches in SemOpenAlex for { <https://semopenalex.org/work/W2089354154> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2089354154 endingPage "19" @default.
- W2089354154 startingPage "3" @default.
- W2089354154 abstract "Inspired by Kobayashi's type system for lock freedom, we define a behavioral type system for ensuring progress in a language of binary sessions. The key idea is to annotate actions in session types with priorities representing the urgency with which such actions must be performed and to verify that processes perform such actions with the required priority. Compared to related systems for session-based languages, the presented type system is relatively simpler and establishes progress for a wider range of processes." @default.
- W2089354154 created "2016-06-24" @default.
- W2089354154 creator A5047694866 @default.
- W2089354154 date "2013-12-08" @default.
- W2089354154 modified "2023-10-16" @default.
- W2089354154 title "From Lock Freedom to Progress Using Session Types" @default.
- W2089354154 cites W1516360493 @default.
- W2089354154 cites W1527058108 @default.
- W2089354154 cites W1607623316 @default.
- W2089354154 cites W1991069274 @default.
- W2089354154 cites W2028562437 @default.
- W2089354154 cites W2062792908 @default.
- W2089354154 cites W2088962847 @default.
- W2089354154 cites W2099983610 @default.
- W2089354154 cites W2114877704 @default.
- W2089354154 cites W2128280268 @default.
- W2089354154 cites W2142988323 @default.
- W2089354154 cites W2153557668 @default.
- W2089354154 cites W222080544 @default.
- W2089354154 cites W2955123331 @default.
- W2089354154 cites W4213249360 @default.
- W2089354154 doi "https://doi.org/10.4204/eptcs.137.2" @default.
- W2089354154 hasPublicationYear "2013" @default.
- W2089354154 type Work @default.
- W2089354154 sameAs 2089354154 @default.
- W2089354154 citedByCount "15" @default.
- W2089354154 countsByYear W20893541542013 @default.
- W2089354154 countsByYear W20893541542014 @default.
- W2089354154 countsByYear W20893541542015 @default.
- W2089354154 countsByYear W20893541542016 @default.
- W2089354154 countsByYear W20893541542018 @default.
- W2089354154 countsByYear W20893541542019 @default.
- W2089354154 countsByYear W20893541542021 @default.
- W2089354154 countsByYear W20893541542022 @default.
- W2089354154 crossrefType "journal-article" @default.
- W2089354154 hasAuthorship W2089354154A5047694866 @default.
- W2089354154 hasBestOaLocation W20893541541 @default.
- W2089354154 hasConcept C127413603 @default.
- W2089354154 hasConcept C136764020 @default.
- W2089354154 hasConcept C146978453 @default.
- W2089354154 hasConcept C174839445 @default.
- W2089354154 hasConcept C204323151 @default.
- W2089354154 hasConcept C26517878 @default.
- W2089354154 hasConcept C2779182362 @default.
- W2089354154 hasConcept C38652104 @default.
- W2089354154 hasConcept C41008148 @default.
- W2089354154 hasConcept C78519656 @default.
- W2089354154 hasConcept C80444323 @default.
- W2089354154 hasConceptScore W2089354154C127413603 @default.
- W2089354154 hasConceptScore W2089354154C136764020 @default.
- W2089354154 hasConceptScore W2089354154C146978453 @default.
- W2089354154 hasConceptScore W2089354154C174839445 @default.
- W2089354154 hasConceptScore W2089354154C204323151 @default.
- W2089354154 hasConceptScore W2089354154C26517878 @default.
- W2089354154 hasConceptScore W2089354154C2779182362 @default.
- W2089354154 hasConceptScore W2089354154C38652104 @default.
- W2089354154 hasConceptScore W2089354154C41008148 @default.
- W2089354154 hasConceptScore W2089354154C78519656 @default.
- W2089354154 hasConceptScore W2089354154C80444323 @default.
- W2089354154 hasLocation W20893541541 @default.
- W2089354154 hasLocation W20893541542 @default.
- W2089354154 hasLocation W20893541543 @default.
- W2089354154 hasLocation W20893541544 @default.
- W2089354154 hasOpenAccess W2089354154 @default.
- W2089354154 hasPrimaryLocation W20893541541 @default.
- W2089354154 hasRelatedWork W2014076890 @default.
- W2089354154 hasRelatedWork W2112668038 @default.
- W2089354154 hasRelatedWork W2348742136 @default.
- W2089354154 hasRelatedWork W2388120696 @default.
- W2089354154 hasRelatedWork W3087157779 @default.
- W2089354154 hasRelatedWork W3139258461 @default.
- W2089354154 hasRelatedWork W4230536726 @default.
- W2089354154 hasRelatedWork W4231927834 @default.
- W2089354154 hasRelatedWork W4290792893 @default.
- W2089354154 hasRelatedWork W4306770904 @default.
- W2089354154 hasVolume "137" @default.
- W2089354154 isParatext "false" @default.
- W2089354154 isRetracted "false" @default.
- W2089354154 magId "2089354154" @default.
- W2089354154 workType "article" @default.