Matches in SemOpenAlex for { <https://semopenalex.org/work/W3136104499> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W3136104499 endingPage "163" @default.
- W3136104499 startingPage "144" @default.
- W3136104499 abstract "Abstract Session types are widely used as abstractions of asynchronous message passing systems. Refinement for such abstractions is crucial as it allows improvements of a given component without compromising its compatibility with the rest of the system. In the context of session types, the most general notion of refinement is the asynchronous session subtyping, which allows to anticipate message emissions but only under certain conditions. In particular, asynchronous session subtyping rules out candidates subtypes that occur naturally in communication protocols where, e.g., two parties simultaneously send each other a finite but unspecified amount of messages before removing them from their respective buffers. To address this shortcoming, we study fair compliance over asynchronous session types and fair refinement as the relation that preserves it. This allows us to propose a novel variant of session subtyping that leverages the notion of controllability from service contract theory and that is a sound characterisation of fair refinement. In addition, we show that both fair refinement and our novel subtyping are undecidable. We also present a sound algorithm, and its implementation, which deals with examples that feature potentially unbounded buffering." @default.
- W3136104499 created "2021-03-29" @default.
- W3136104499 creator A5018974160 @default.
- W3136104499 creator A5058853876 @default.
- W3136104499 creator A5066677397 @default.
- W3136104499 date "2021-01-01" @default.
- W3136104499 modified "2023-09-27" @default.
- W3136104499 title "Fair Refinement for Asynchronous Session Types" @default.
- W3136104499 cites W148244906 @default.
- W3136104499 cites W1511544530 @default.
- W3136104499 cites W1580304509 @default.
- W3136104499 cites W1599340713 @default.
- W3136104499 cites W1738449234 @default.
- W3136104499 cites W2003466355 @default.
- W3136104499 cites W2023127104 @default.
- W3136104499 cites W2025970201 @default.
- W3136104499 cites W2044184458 @default.
- W3136104499 cites W2062792908 @default.
- W3136104499 cites W2088962847 @default.
- W3136104499 cites W2119992090 @default.
- W3136104499 cites W2126641514 @default.
- W3136104499 cites W2157144873 @default.
- W3136104499 cites W2164834097 @default.
- W3136104499 cites W2177661198 @default.
- W3136104499 cites W2325347394 @default.
- W3136104499 cites W2418777044 @default.
- W3136104499 cites W2553870630 @default.
- W3136104499 cites W2610085676 @default.
- W3136104499 cites W2786270130 @default.
- W3136104499 cites W2797596189 @default.
- W3136104499 cites W2913931721 @default.
- W3136104499 cites W2965154247 @default.
- W3136104499 cites W2971448699 @default.
- W3136104499 cites W2972579386 @default.
- W3136104499 cites W3136104499 @default.
- W3136104499 doi "https://doi.org/10.1007/978-3-030-71995-1_8" @default.
- W3136104499 hasPubMedCentralId "https://www.ncbi.nlm.nih.gov/pmc/articles/7984120" @default.
- W3136104499 hasPublicationYear "2021" @default.
- W3136104499 type Work @default.
- W3136104499 sameAs 3136104499 @default.
- W3136104499 citedByCount "4" @default.
- W3136104499 countsByYear W31361044992021 @default.
- W3136104499 countsByYear W31361044992022 @default.
- W3136104499 crossrefType "book-chapter" @default.
- W3136104499 hasAuthorship W3136104499A5018974160 @default.
- W3136104499 hasAuthorship W3136104499A5058853876 @default.
- W3136104499 hasAuthorship W3136104499A5066677397 @default.
- W3136104499 hasBestOaLocation W31361044991 @default.
- W3136104499 hasConcept C120314980 @default.
- W3136104499 hasConcept C136764020 @default.
- W3136104499 hasConcept C151319957 @default.
- W3136104499 hasConcept C153269930 @default.
- W3136104499 hasConcept C192034797 @default.
- W3136104499 hasConcept C199360897 @default.
- W3136104499 hasConcept C2779182362 @default.
- W3136104499 hasConcept C31258907 @default.
- W3136104499 hasConcept C41008148 @default.
- W3136104499 hasConcept C80444323 @default.
- W3136104499 hasConcept C83852419 @default.
- W3136104499 hasConceptScore W3136104499C120314980 @default.
- W3136104499 hasConceptScore W3136104499C136764020 @default.
- W3136104499 hasConceptScore W3136104499C151319957 @default.
- W3136104499 hasConceptScore W3136104499C153269930 @default.
- W3136104499 hasConceptScore W3136104499C192034797 @default.
- W3136104499 hasConceptScore W3136104499C199360897 @default.
- W3136104499 hasConceptScore W3136104499C2779182362 @default.
- W3136104499 hasConceptScore W3136104499C31258907 @default.
- W3136104499 hasConceptScore W3136104499C41008148 @default.
- W3136104499 hasConceptScore W3136104499C80444323 @default.
- W3136104499 hasConceptScore W3136104499C83852419 @default.
- W3136104499 hasLocation W31361044991 @default.
- W3136104499 hasLocation W31361044992 @default.
- W3136104499 hasLocation W31361044993 @default.
- W3136104499 hasOpenAccess W3136104499 @default.
- W3136104499 hasPrimaryLocation W31361044991 @default.
- W3136104499 hasRelatedWork W2746884590 @default.
- W3136104499 hasRelatedWork W2786270130 @default.
- W3136104499 hasRelatedWork W2803932487 @default.
- W3136104499 hasRelatedWork W2949839977 @default.
- W3136104499 hasRelatedWork W2953314600 @default.
- W3136104499 hasRelatedWork W3159912674 @default.
- W3136104499 hasRelatedWork W3177160037 @default.
- W3136104499 hasRelatedWork W4287200437 @default.
- W3136104499 hasRelatedWork W4298370140 @default.
- W3136104499 hasRelatedWork W4299386405 @default.
- W3136104499 isParatext "false" @default.
- W3136104499 isRetracted "false" @default.
- W3136104499 magId "3136104499" @default.
- W3136104499 workType "book-chapter" @default.