FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2904348875> ?p ?o ?g. }

• W2904348875 endingPage "42" @default.
• W2904348875 startingPage "1" @default.
• W2904348875 abstract "In multiparty session types, interconnection networks identify which roles in a session engage in communication (i.e., two roles are connected if they exchange a message). In session-based interpretations of linear logic the analogue notion corresponds to determining which processes are composed, or cut, using compatible channels typed by linear propositions. In this work, we show that well-formed interactions represented in a session-based interpretation of classical linear logic (CLL) form strictly less-expressive interconnection networks than those of a multiparty session calculus. To achieve this result, we introduce a new compositional synthesis property dubbed partial multiparty compatibility (PMC), enabling us to build a global type denoting the interactions obtained by iterated composition of well-typed CLL threads. We then show that CLL composition induces PMC global types without circular interconnections between three (or more) participants. PMC is then used to define a new CLL composition rule that can form circular interconnections but preserves the deadlock-freedom of CLL." @default.
• W2904348875 created "2018-12-22" @default.
• W2904348875 creator A5039596448 @default.
• W2904348875 creator A5054171989 @default.
• W2904348875 date "2018-12-13" @default.
• W2904348875 modified "2023-10-17" @default.
• W2904348875 title "Interconnectability of Session-Based Logical Processes" @default.
• W2904348875 cites W1261671639 @default.
• W2904348875 cites W126560812 @default.
• W2904348875 cites W1537467263 @default.
• W2904348875 cites W169793935 @default.
• W2904348875 cites W1903474317 @default.
• W2904348875 cites W1989371806 @default.
• W2904348875 cites W2001299902 @default.
• W2904348875 cites W2005274596 @default.
• W2904348875 cites W2010649834 @default.
• W2904348875 cites W2012968289 @default.
• W2904348875 cites W2023489866 @default.
• W2904348875 cites W2025260761 @default.
• W2904348875 cites W2040105559 @default.
• W2904348875 cites W2046488919 @default.
• W2904348875 cites W2076742248 @default.
• W2904348875 cites W2088962847 @default.
• W2904348875 cites W2106396972 @default.
• W2904348875 cites W2114877704 @default.
• W2904348875 cites W2119992090 @default.
• W2904348875 cites W2126021517 @default.
• W2904348875 cites W2134322412 @default.
• W2904348875 cites W2138552902 @default.
• W2904348875 cites W2162077931 @default.
• W2904348875 cites W216355022 @default.
• W2904348875 cites W2264604278 @default.
• W2904348875 cites W2296352734 @default.
• W2904348875 cites W2311997103 @default.
• W2904348875 cites W2325347394 @default.
• W2904348875 cites W2329205359 @default.
• W2904348875 cites W2418777044 @default.
• W2904348875 cites W2464556723 @default.
• W2904348875 cites W2469507234 @default.
• W2904348875 cites W2482080645 @default.
• W2904348875 cites W2517371102 @default.
• W2904348875 cites W2517846761 @default.
• W2904348875 cites W2584381671 @default.
• W2904348875 cites W2603624497 @default.
• W2904348875 cites W2787969571 @default.
• W2904348875 cites W2911865844 @default.
• W2904348875 cites W2914405021 @default.
• W2904348875 cites W4232794147 @default.
• W2904348875 cites W59370666 @default.
• W2904348875 cites W82946149 @default.
• W2904348875 doi "https://doi.org/10.1145/3242173" @default.
• W2904348875 hasPublicationYear "2018" @default.
• W2904348875 type Work @default.
• W2904348875 sameAs 2904348875 @default.
• W2904348875 citedByCount "7" @default.
• W2904348875 countsByYear W29043488752021 @default.
• W2904348875 countsByYear W29043488752022 @default.
• W2904348875 countsByYear W29043488752023 @default.
• W2904348875 crossrefType "journal-article" @default.
• W2904348875 hasAuthorship W2904348875A5039596448 @default.
• W2904348875 hasAuthorship W2904348875A5054171989 @default.
• W2904348875 hasBestOaLocation W29043488751 @default.
• W2904348875 hasConcept C120314980 @default.
• W2904348875 hasConcept C134306372 @default.
• W2904348875 hasConcept C136764020 @default.
• W2904348875 hasConcept C140479938 @default.
• W2904348875 hasConcept C159023740 @default.
• W2904348875 hasConcept C2779182362 @default.
• W2904348875 hasConcept C33923547 @default.
• W2904348875 hasConcept C41008148 @default.
• W2904348875 hasConcept C80444323 @default.
• W2904348875 hasConceptScore W2904348875C120314980 @default.
• W2904348875 hasConceptScore W2904348875C134306372 @default.
• W2904348875 hasConceptScore W2904348875C136764020 @default.
• W2904348875 hasConceptScore W2904348875C140479938 @default.
• W2904348875 hasConceptScore W2904348875C159023740 @default.
• W2904348875 hasConceptScore W2904348875C2779182362 @default.
• W2904348875 hasConceptScore W2904348875C33923547 @default.
• W2904348875 hasConceptScore W2904348875C41008148 @default.
• W2904348875 hasConceptScore W2904348875C80444323 @default.
• W2904348875 hasFunder F4320334627 @default.
• W2904348875 hasFunder F4320335059 @default.
• W2904348875 hasIssue "4" @default.
• W2904348875 hasLocation W29043488751 @default.
• W2904348875 hasLocation W29043488752 @default.
• W2904348875 hasOpenAccess W2904348875 @default.
• W2904348875 hasPrimaryLocation W29043488751 @default.
• W2904348875 hasRelatedWork W2014076890 @default.
• W2904348875 hasRelatedWork W2112668038 @default.
• W2904348875 hasRelatedWork W2236514303 @default.
• W2904348875 hasRelatedWork W2348742136 @default.
• W2904348875 hasRelatedWork W2388120696 @default.
• W2904348875 hasRelatedWork W3087157779 @default.
• W2904348875 hasRelatedWork W4230536726 @default.
• W2904348875 hasRelatedWork W4231927834 @default.
• W2904348875 hasRelatedWork W4290792893 @default.
• W2904348875 hasRelatedWork W4306770904 @default.
• W2904348875 hasVolume "40" @default.

• next