Matches in SemOpenAlex for { <https://semopenalex.org/work/W1837104076> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W1837104076 abstract "Subtyping is a crucial ingredient of session type theory and its applications, notably to programming language implementations. In this paper, we study effective ways to check whether a session type is a subtype of another by applying a characteristic formulae approach to the problem. Our core contribution is an algorithm to generate a modal mu-calculus formula that characterises all the supertypes (or subtypes) of a given type. Subtyping checks can then be off-loaded to model checkers, thus incidentally yielding an efficient algorithm to check safety of session types, soundly and completely. We have implemented our theory and compared its cost with other classical subtyping algorithms." @default.
- W1837104076 created "2016-06-24" @default.
- W1837104076 creator A5018974160 @default.
- W1837104076 creator A5088420621 @default.
- W1837104076 date "2015-10-23" @default.
- W1837104076 modified "2023-10-18" @default.
- W1837104076 title "Characteristic Formulae for Session Types (extended version)" @default.
- W1837104076 cites W1498393124 @default.
- W1837104076 cites W1511544530 @default.
- W1837104076 cites W1550474961 @default.
- W1837104076 cites W1557561422 @default.
- W1837104076 cites W1611165480 @default.
- W1837104076 cites W1663174014 @default.
- W1837104076 cites W169399732 @default.
- W1837104076 cites W1784055113 @default.
- W1837104076 cites W180602404 @default.
- W1837104076 cites W1968829301 @default.
- W1837104076 cites W2015640848 @default.
- W1837104076 cites W2023127104 @default.
- W1837104076 cites W2025280888 @default.
- W1837104076 cites W2046290385 @default.
- W1837104076 cites W2076742248 @default.
- W1837104076 cites W2088962847 @default.
- W1837104076 cites W2111205369 @default.
- W1837104076 cites W2119717320 @default.
- W1837104076 cites W2119992090 @default.
- W1837104076 cites W2130413791 @default.
- W1837104076 cites W2133147428 @default.
- W1837104076 cites W2148025199 @default.
- W1837104076 cites W2219871211 @default.
- W1837104076 cites W2281995753 @default.
- W1837104076 cites W2914577191 @default.
- W1837104076 doi "https://doi.org/10.48550/arxiv.1510.06879" @default.
- W1837104076 hasPublicationYear "2015" @default.
- W1837104076 type Work @default.
- W1837104076 sameAs 1837104076 @default.
- W1837104076 citedByCount "0" @default.
- W1837104076 crossrefType "posted-content" @default.
- W1837104076 hasAuthorship W1837104076A5018974160 @default.
- W1837104076 hasAuthorship W1837104076A5088420621 @default.
- W1837104076 hasBestOaLocation W18371040761 @default.
- W1837104076 hasConcept C11413529 @default.
- W1837104076 hasConcept C136764020 @default.
- W1837104076 hasConcept C185592680 @default.
- W1837104076 hasConcept C188027245 @default.
- W1837104076 hasConcept C18903297 @default.
- W1837104076 hasConcept C199343813 @default.
- W1837104076 hasConcept C199360897 @default.
- W1837104076 hasConcept C26713055 @default.
- W1837104076 hasConcept C2777299769 @default.
- W1837104076 hasConcept C2777686260 @default.
- W1837104076 hasConcept C2779182362 @default.
- W1837104076 hasConcept C41008148 @default.
- W1837104076 hasConcept C44779574 @default.
- W1837104076 hasConcept C71139939 @default.
- W1837104076 hasConcept C71924100 @default.
- W1837104076 hasConcept C80444323 @default.
- W1837104076 hasConcept C83852419 @default.
- W1837104076 hasConcept C86803240 @default.
- W1837104076 hasConcept C93682546 @default.
- W1837104076 hasConceptScore W1837104076C11413529 @default.
- W1837104076 hasConceptScore W1837104076C136764020 @default.
- W1837104076 hasConceptScore W1837104076C185592680 @default.
- W1837104076 hasConceptScore W1837104076C188027245 @default.
- W1837104076 hasConceptScore W1837104076C18903297 @default.
- W1837104076 hasConceptScore W1837104076C199343813 @default.
- W1837104076 hasConceptScore W1837104076C199360897 @default.
- W1837104076 hasConceptScore W1837104076C26713055 @default.
- W1837104076 hasConceptScore W1837104076C2777299769 @default.
- W1837104076 hasConceptScore W1837104076C2777686260 @default.
- W1837104076 hasConceptScore W1837104076C2779182362 @default.
- W1837104076 hasConceptScore W1837104076C41008148 @default.
- W1837104076 hasConceptScore W1837104076C44779574 @default.
- W1837104076 hasConceptScore W1837104076C71139939 @default.
- W1837104076 hasConceptScore W1837104076C71924100 @default.
- W1837104076 hasConceptScore W1837104076C80444323 @default.
- W1837104076 hasConceptScore W1837104076C83852419 @default.
- W1837104076 hasConceptScore W1837104076C86803240 @default.
- W1837104076 hasConceptScore W1837104076C93682546 @default.
- W1837104076 hasLocation W18371040761 @default.
- W1837104076 hasOpenAccess W1837104076 @default.
- W1837104076 hasPrimaryLocation W18371040761 @default.
- W1837104076 hasRelatedWork W1837104076 @default.
- W1837104076 hasRelatedWork W2098583541 @default.
- W1837104076 hasRelatedWork W2109631547 @default.
- W1837104076 hasRelatedWork W2132201171 @default.
- W1837104076 hasRelatedWork W2140595120 @default.
- W1837104076 hasRelatedWork W2163009019 @default.
- W1837104076 hasRelatedWork W2163420823 @default.
- W1837104076 hasRelatedWork W2167486301 @default.
- W1837104076 hasRelatedWork W2418777044 @default.
- W1837104076 hasRelatedWork W85134812 @default.
- W1837104076 isParatext "false" @default.
- W1837104076 isRetracted "false" @default.
- W1837104076 magId "1837104076" @default.
- W1837104076 workType "article" @default.