Matches in SemOpenAlex for { <https://semopenalex.org/work/W2954297171> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2954297171 abstract "Session types, types for structuring communication between endpoints in distributed systems, are recently being integrated into mainstream programming languages. In practice, a very important notion for dealing with such types is that of subtyping, since it allows for typing larger classes of system, where a program has not precisely the expected behavior but a similar one. Unfortunately, recent work has shown that subtyping for session types in an asynchronous setting is undecidable. To cope with this negative result, the only approaches we are aware of either restrict the syntax of session types or limit communication (by considering forms of bounded asynchrony). Both approaches are too restrictive in practice, hence we proceed differently by presenting an algorithm for checking subtyping which is sound, but not complete (in some cases it terminates without returning a decisive verdict). The algorithm is based on a tree representation of the coinductive definition of asynchronous subtyping; this tree could be infinite, and the algorithm checks for the presence of finite witnesses of infinite successful subtrees. Furthermore, we provide a tool that implements our algorithm and we apply it to many examples that cannot be managed with the previous approaches." @default.
- W2954297171 created "2019-07-12" @default.
- W2954297171 creator A5018974160 @default.
- W2954297171 creator A5058853876 @default.
- W2954297171 creator A5066677397 @default.
- W2954297171 creator A5088420621 @default.
- W2954297171 creator A5091406959 @default.
- W2954297171 date "2019-06-30" @default.
- W2954297171 modified "2023-09-27" @default.
- W2954297171 title "A Sound Algorithm for Asynchronous Session Subtyping (extended version)." @default.
- W2954297171 hasPublicationYear "2019" @default.
- W2954297171 type Work @default.
- W2954297171 sameAs 2954297171 @default.
- W2954297171 citedByCount "0" @default.
- W2954297171 crossrefType "posted-content" @default.
- W2954297171 hasAuthorship W2954297171A5018974160 @default.
- W2954297171 hasAuthorship W2954297171A5058853876 @default.
- W2954297171 hasAuthorship W2954297171A5066677397 @default.
- W2954297171 hasAuthorship W2954297171A5088420621 @default.
- W2954297171 hasAuthorship W2954297171A5091406959 @default.
- W2954297171 hasConcept C108710211 @default.
- W2954297171 hasConcept C11413529 @default.
- W2954297171 hasConcept C136764020 @default.
- W2954297171 hasConcept C151319957 @default.
- W2954297171 hasConcept C153269930 @default.
- W2954297171 hasConcept C192034797 @default.
- W2954297171 hasConcept C193702766 @default.
- W2954297171 hasConcept C199360897 @default.
- W2954297171 hasConcept C2524010 @default.
- W2954297171 hasConcept C2779019669 @default.
- W2954297171 hasConcept C2779182362 @default.
- W2954297171 hasConcept C31258907 @default.
- W2954297171 hasConcept C33923547 @default.
- W2954297171 hasConcept C40220748 @default.
- W2954297171 hasConcept C41008148 @default.
- W2954297171 hasConcept C80444323 @default.
- W2954297171 hasConcept C83852419 @default.
- W2954297171 hasConceptScore W2954297171C108710211 @default.
- W2954297171 hasConceptScore W2954297171C11413529 @default.
- W2954297171 hasConceptScore W2954297171C136764020 @default.
- W2954297171 hasConceptScore W2954297171C151319957 @default.
- W2954297171 hasConceptScore W2954297171C153269930 @default.
- W2954297171 hasConceptScore W2954297171C192034797 @default.
- W2954297171 hasConceptScore W2954297171C193702766 @default.
- W2954297171 hasConceptScore W2954297171C199360897 @default.
- W2954297171 hasConceptScore W2954297171C2524010 @default.
- W2954297171 hasConceptScore W2954297171C2779019669 @default.
- W2954297171 hasConceptScore W2954297171C2779182362 @default.
- W2954297171 hasConceptScore W2954297171C31258907 @default.
- W2954297171 hasConceptScore W2954297171C33923547 @default.
- W2954297171 hasConceptScore W2954297171C40220748 @default.
- W2954297171 hasConceptScore W2954297171C41008148 @default.
- W2954297171 hasConceptScore W2954297171C80444323 @default.
- W2954297171 hasConceptScore W2954297171C83852419 @default.
- W2954297171 hasLocation W29542971711 @default.
- W2954297171 hasOpenAccess W2954297171 @default.
- W2954297171 hasPrimaryLocation W29542971711 @default.
- W2954297171 hasRelatedWork W1532143586 @default.
- W2954297171 hasRelatedWork W1552871260 @default.
- W2954297171 hasRelatedWork W1922215566 @default.
- W2954297171 hasRelatedWork W1967431146 @default.
- W2954297171 hasRelatedWork W2023274662 @default.
- W2954297171 hasRelatedWork W2062184115 @default.
- W2954297171 hasRelatedWork W2078034662 @default.
- W2954297171 hasRelatedWork W2088126145 @default.
- W2954297171 hasRelatedWork W2101085206 @default.
- W2954297171 hasRelatedWork W2112955239 @default.
- W2954297171 hasRelatedWork W2155042062 @default.
- W2954297171 hasRelatedWork W2163468719 @default.
- W2954297171 hasRelatedWork W2166853865 @default.
- W2954297171 hasRelatedWork W2171386532 @default.
- W2954297171 hasRelatedWork W2202863966 @default.
- W2954297171 hasRelatedWork W2942626534 @default.
- W2954297171 hasRelatedWork W2949839977 @default.
- W2954297171 hasRelatedWork W3084390311 @default.
- W2954297171 hasRelatedWork W3104721040 @default.
- W2954297171 hasRelatedWork W3117045059 @default.
- W2954297171 isParatext "false" @default.
- W2954297171 isRetracted "false" @default.
- W2954297171 magId "2954297171" @default.
- W2954297171 workType "article" @default.