FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3157135839> ?p ?o ?g. }

• W3157135839 abstract "We investigate how different fairness assumptions affect results concerning lock-freedom, a typical liveness property targeted by session type systems. We fix a minimal session calculus and systematically take into account all known fairness assumptions, thereby identifying precisely three interesting and semantically distinct notions of lock-freedom, all of which having a sound session type system. We then show that, by using a general merge operator in an otherwise standard approach to global session types, we obtain a session type system complete for the strongest amongst those notions of lock-freedom, which assumes only justness of execution paths, a minimal fairness assumption for concurrent systems." @default.
• W3157135839 created "2021-05-10" @default.
• W3157135839 creator A5026224896 @default.
• W3157135839 creator A5048229897 @default.
• W3157135839 creator A5087967629 @default.
• W3157135839 date "2021-04-29" @default.
• W3157135839 modified "2023-10-16" @default.
• W3157135839 title "Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom" @default.
• W3157135839 cites W1261671639 @default.
• W3157135839 cites W1497033526 @default.
• W3157135839 cites W1562729841 @default.
• W3157135839 cites W1572319298 @default.
• W3157135839 cites W1593488045 @default.
• W3157135839 cites W1663174014 @default.
• W3157135839 cites W169793935 @default.
• W3157135839 cites W1989877393 @default.
• W3157135839 cites W199277246 @default.
• W3157135839 cites W2046488919 @default.
• W3157135839 cites W2065772939 @default.
• W3157135839 cites W2076742248 @default.
• W3157135839 cites W2079457432 @default.
• W3157135839 cites W2085243417 @default.
• W3157135839 cites W2088962847 @default.
• W3157135839 cites W2102097307 @default.
• W3157135839 cites W2109568634 @default.
• W3157135839 cites W2119992090 @default.
• W3157135839 cites W2166656159 @default.
• W3157135839 cites W2325347394 @default.
• W3157135839 cites W2396555304 @default.
• W3157135839 cites W2899726318 @default.
• W3157135839 cites W2920083310 @default.
• W3157135839 cites W2963326822 @default.
• W3157135839 cites W2971448699 @default.
• W3157135839 cites W2977241542 @default.
• W3157135839 cites W2998679550 @default.
• W3157135839 cites W3017186417 @default.
• W3157135839 cites W3090298350 @default.
• W3157135839 cites W3094723157 @default.
• W3157135839 cites W3113857243 @default.
• W3157135839 hasPublicationYear "2021" @default.
• W3157135839 type Work @default.
• W3157135839 sameAs 3157135839 @default.
• W3157135839 citedByCount "0" @default.
• W3157135839 crossrefType "posted-content" @default.
• W3157135839 hasAuthorship W3157135839A5026224896 @default.
• W3157135839 hasAuthorship W3157135839A5048229897 @default.
• W3157135839 hasAuthorship W3157135839A5087967629 @default.
• W3157135839 hasConcept C104317684 @default.
• W3157135839 hasConcept C120314980 @default.
• W3157135839 hasConcept C127413603 @default.
• W3157135839 hasConcept C136764020 @default.
• W3157135839 hasConcept C15569618 @default.
• W3157135839 hasConcept C158448853 @default.
• W3157135839 hasConcept C17020691 @default.
• W3157135839 hasConcept C173608175 @default.
• W3157135839 hasConcept C174839445 @default.
• W3157135839 hasConcept C185592680 @default.
• W3157135839 hasConcept C197129107 @default.
• W3157135839 hasConcept C2779182362 @default.
• W3157135839 hasConcept C41008148 @default.
• W3157135839 hasConcept C55493867 @default.
• W3157135839 hasConcept C78519656 @default.
• W3157135839 hasConcept C80444323 @default.
• W3157135839 hasConcept C86339819 @default.
• W3157135839 hasConceptScore W3157135839C104317684 @default.
• W3157135839 hasConceptScore W3157135839C120314980 @default.
• W3157135839 hasConceptScore W3157135839C127413603 @default.
• W3157135839 hasConceptScore W3157135839C136764020 @default.
• W3157135839 hasConceptScore W3157135839C15569618 @default.
• W3157135839 hasConceptScore W3157135839C158448853 @default.
• W3157135839 hasConceptScore W3157135839C17020691 @default.
• W3157135839 hasConceptScore W3157135839C173608175 @default.
• W3157135839 hasConceptScore W3157135839C174839445 @default.
• W3157135839 hasConceptScore W3157135839C185592680 @default.
• W3157135839 hasConceptScore W3157135839C197129107 @default.
• W3157135839 hasConceptScore W3157135839C2779182362 @default.
• W3157135839 hasConceptScore W3157135839C41008148 @default.
• W3157135839 hasConceptScore W3157135839C55493867 @default.
• W3157135839 hasConceptScore W3157135839C78519656 @default.
• W3157135839 hasConceptScore W3157135839C80444323 @default.
• W3157135839 hasConceptScore W3157135839C86339819 @default.
• W3157135839 hasOpenAccess W3157135839 @default.
• W3157135839 hasRelatedWork W1512199100 @default.
• W3157135839 hasRelatedWork W1516270816 @default.
• W3157135839 hasRelatedWork W1517142201 @default.
• W3157135839 hasRelatedWork W1594124475 @default.
• W3157135839 hasRelatedWork W167416015 @default.
• W3157135839 hasRelatedWork W1938626407 @default.
• W3157135839 hasRelatedWork W2025971955 @default.
• W3157135839 hasRelatedWork W2063907152 @default.
• W3157135839 hasRelatedWork W2296540112 @default.
• W3157135839 hasRelatedWork W241121309 @default.
• W3157135839 hasRelatedWork W24812747 @default.
• W3157135839 hasRelatedWork W2611400710 @default.
• W3157135839 hasRelatedWork W2768530731 @default.
• W3157135839 hasRelatedWork W2787839710 @default.
• W3157135839 hasRelatedWork W2911355163 @default.
• W3157135839 hasRelatedWork W2933941175 @default.
• W3157135839 hasRelatedWork W3014843345 @default.
• W3157135839 hasRelatedWork W3092353105 @default.

• next