Matches in SemOpenAlex for { <https://semopenalex.org/work/W1967376180> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W1967376180 endingPage "2064" @default.
- W1967376180 startingPage "2053" @default.
- W1967376180 abstract "Distributed applications and services have become pervasive in our society due to the widespread use of internet and mobile devices. There are urgent demands to efficiently ensure safety and correctness of such software. A session-type system is a framework to statically check whether communication descriptions conform to certain protocols. They are shown to be effective yet simple enough to fit in harmony with existing programming languages. In the original session type system, the subject reduction property does not hold. This paper establishes a conservative extension of the original session type system with the subject reduction property. Finally, it is also shown that our typing rule properly extends the set of typeable processes." @default.
- W1967376180 created "2016-06-24" @default.
- W1967376180 creator A5009882490 @default.
- W1967376180 creator A5025628453 @default.
- W1967376180 creator A5084062983 @default.
- W1967376180 date "2012-01-01" @default.
- W1967376180 modified "2023-09-24" @default.
- W1967376180 title "A Session Type System with Subject Reduction" @default.
- W1967376180 cites W1972836343 @default.
- W1967376180 cites W2033348393 @default.
- W1967376180 cites W2034870916 @default.
- W1967376180 cites W2042360145 @default.
- W1967376180 cites W2054670810 @default.
- W1967376180 cites W2063818704 @default.
- W1967376180 cites W2105716349 @default.
- W1967376180 cites W2148025199 @default.
- W1967376180 doi "https://doi.org/10.1587/transinf.e95.d.2053" @default.
- W1967376180 hasPublicationYear "2012" @default.
- W1967376180 type Work @default.
- W1967376180 sameAs 1967376180 @default.
- W1967376180 citedByCount "0" @default.
- W1967376180 crossrefType "journal-article" @default.
- W1967376180 hasAuthorship W1967376180A5009882490 @default.
- W1967376180 hasAuthorship W1967376180A5025628453 @default.
- W1967376180 hasAuthorship W1967376180A5084062983 @default.
- W1967376180 hasBestOaLocation W19673761801 @default.
- W1967376180 hasConcept C111335779 @default.
- W1967376180 hasConcept C111472728 @default.
- W1967376180 hasConcept C120314980 @default.
- W1967376180 hasConcept C136764020 @default.
- W1967376180 hasConcept C138885662 @default.
- W1967376180 hasConcept C189950617 @default.
- W1967376180 hasConcept C199360897 @default.
- W1967376180 hasConcept C2524010 @default.
- W1967376180 hasConcept C2777855551 @default.
- W1967376180 hasConcept C2778029271 @default.
- W1967376180 hasConcept C2779182362 @default.
- W1967376180 hasConcept C33923547 @default.
- W1967376180 hasConcept C41008148 @default.
- W1967376180 hasConcept C44779574 @default.
- W1967376180 hasConcept C55439883 @default.
- W1967376180 hasConcept C80444323 @default.
- W1967376180 hasConceptScore W1967376180C111335779 @default.
- W1967376180 hasConceptScore W1967376180C111472728 @default.
- W1967376180 hasConceptScore W1967376180C120314980 @default.
- W1967376180 hasConceptScore W1967376180C136764020 @default.
- W1967376180 hasConceptScore W1967376180C138885662 @default.
- W1967376180 hasConceptScore W1967376180C189950617 @default.
- W1967376180 hasConceptScore W1967376180C199360897 @default.
- W1967376180 hasConceptScore W1967376180C2524010 @default.
- W1967376180 hasConceptScore W1967376180C2777855551 @default.
- W1967376180 hasConceptScore W1967376180C2778029271 @default.
- W1967376180 hasConceptScore W1967376180C2779182362 @default.
- W1967376180 hasConceptScore W1967376180C33923547 @default.
- W1967376180 hasConceptScore W1967376180C41008148 @default.
- W1967376180 hasConceptScore W1967376180C44779574 @default.
- W1967376180 hasConceptScore W1967376180C55439883 @default.
- W1967376180 hasConceptScore W1967376180C80444323 @default.
- W1967376180 hasIssue "8" @default.
- W1967376180 hasLocation W19673761801 @default.
- W1967376180 hasOpenAccess W1967376180 @default.
- W1967376180 hasPrimaryLocation W19673761801 @default.
- W1967376180 hasRelatedWork W1493446239 @default.
- W1967376180 hasRelatedWork W1985198438 @default.
- W1967376180 hasRelatedWork W2115573203 @default.
- W1967376180 hasRelatedWork W2146937878 @default.
- W1967376180 hasRelatedWork W2156830909 @default.
- W1967376180 hasRelatedWork W2763815264 @default.
- W1967376180 hasRelatedWork W2779172326 @default.
- W1967376180 hasRelatedWork W4238823939 @default.
- W1967376180 hasRelatedWork W4250918063 @default.
- W1967376180 hasRelatedWork W2584819674 @default.
- W1967376180 hasVolume "E95.D" @default.
- W1967376180 isParatext "false" @default.
- W1967376180 isRetracted "false" @default.
- W1967376180 magId "1967376180" @default.
- W1967376180 workType "article" @default.