Matches in SemOpenAlex for { <https://semopenalex.org/work/W84711077> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W84711077 endingPage "286" @default.
- W84711077 startingPage "272" @default.
- W84711077 abstract "We propose an improvement to session-types, introducing nested protocols, the possibility to call a subprotocol from a parent protocol. This feature adds expressiveness and modularity to the existing session-type theory, allowing arguments to be passed and enabling higher-order protocols definition. Our theory is introduced through a new type system for protocols handling subprotocol calls, and its implementation in a session-calculus. We propose validation and satisfaction relations between specification and implementation. Sound behaviour is enforced thanks to the usage of kinds and well-formedness, allowing us to ensure progress and subject reduction. In addition, we describe an extension of our framework allowing subprotocols to send back results." @default.
- W84711077 created "2016-06-24" @default.
- W84711077 creator A5012191491 @default.
- W84711077 creator A5013478917 @default.
- W84711077 date "2012-01-01" @default.
- W84711077 modified "2023-09-30" @default.
- W84711077 title "Nested Protocols in Session Types" @default.
- W84711077 cites W1412424832 @default.
- W84711077 cites W1516360493 @default.
- W84711077 cites W1585111997 @default.
- W84711077 cites W1611165480 @default.
- W84711077 cites W1784055113 @default.
- W84711077 cites W1994221618 @default.
- W84711077 cites W2059243982 @default.
- W84711077 cites W2075426808 @default.
- W84711077 cites W2128458535 @default.
- W84711077 cites W2137865376 @default.
- W84711077 cites W2167439758 @default.
- W84711077 cites W2735560138 @default.
- W84711077 cites W2995356440 @default.
- W84711077 doi "https://doi.org/10.1007/978-3-642-32940-1_20" @default.
- W84711077 hasPublicationYear "2012" @default.
- W84711077 type Work @default.
- W84711077 sameAs 84711077 @default.
- W84711077 citedByCount "44" @default.
- W84711077 countsByYear W847110772012 @default.
- W84711077 countsByYear W847110772013 @default.
- W84711077 countsByYear W847110772014 @default.
- W84711077 countsByYear W847110772015 @default.
- W84711077 countsByYear W847110772016 @default.
- W84711077 countsByYear W847110772017 @default.
- W84711077 countsByYear W847110772019 @default.
- W84711077 countsByYear W847110772020 @default.
- W84711077 countsByYear W847110772021 @default.
- W84711077 countsByYear W847110772022 @default.
- W84711077 countsByYear W847110772023 @default.
- W84711077 crossrefType "book-chapter" @default.
- W84711077 hasAuthorship W84711077A5012191491 @default.
- W84711077 hasAuthorship W84711077A5013478917 @default.
- W84711077 hasConcept C120314980 @default.
- W84711077 hasConcept C136764020 @default.
- W84711077 hasConcept C142724271 @default.
- W84711077 hasConcept C199360897 @default.
- W84711077 hasConcept C204787440 @default.
- W84711077 hasConcept C2778029271 @default.
- W84711077 hasConcept C2779182362 @default.
- W84711077 hasConcept C2779478453 @default.
- W84711077 hasConcept C2780385302 @default.
- W84711077 hasConcept C41008148 @default.
- W84711077 hasConcept C54355233 @default.
- W84711077 hasConcept C71924100 @default.
- W84711077 hasConcept C80444323 @default.
- W84711077 hasConcept C86803240 @default.
- W84711077 hasConceptScore W84711077C120314980 @default.
- W84711077 hasConceptScore W84711077C136764020 @default.
- W84711077 hasConceptScore W84711077C142724271 @default.
- W84711077 hasConceptScore W84711077C199360897 @default.
- W84711077 hasConceptScore W84711077C204787440 @default.
- W84711077 hasConceptScore W84711077C2778029271 @default.
- W84711077 hasConceptScore W84711077C2779182362 @default.
- W84711077 hasConceptScore W84711077C2779478453 @default.
- W84711077 hasConceptScore W84711077C2780385302 @default.
- W84711077 hasConceptScore W84711077C41008148 @default.
- W84711077 hasConceptScore W84711077C54355233 @default.
- W84711077 hasConceptScore W84711077C71924100 @default.
- W84711077 hasConceptScore W84711077C80444323 @default.
- W84711077 hasConceptScore W84711077C86803240 @default.
- W84711077 hasLocation W847110771 @default.
- W84711077 hasOpenAccess W84711077 @default.
- W84711077 hasPrimaryLocation W847110771 @default.
- W84711077 hasRelatedWork W2112962394 @default.
- W84711077 hasRelatedWork W2118300983 @default.
- W84711077 hasRelatedWork W2166247150 @default.
- W84711077 hasRelatedWork W2348742136 @default.
- W84711077 hasRelatedWork W2352495365 @default.
- W84711077 hasRelatedWork W3087157779 @default.
- W84711077 hasRelatedWork W3137189469 @default.
- W84711077 hasRelatedWork W4231927834 @default.
- W84711077 hasRelatedWork W4243252198 @default.
- W84711077 hasRelatedWork W4306770904 @default.
- W84711077 isParatext "false" @default.
- W84711077 isRetracted "false" @default.
- W84711077 magId "84711077" @default.
- W84711077 workType "book-chapter" @default.