Matches in SemOpenAlex for { <https://semopenalex.org/work/W4229041034> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W4229041034 abstract "There exist situations in which the communication via public channels should not reveal the identity of the participants. We define a process calculus able to control such a communication by using a specific synchronization operator working over a given set of channels. This operator is inspired by existing protocols in which one process has to collect and combine the information received from several processes. To control the interaction, we define a typing system and show that it fulfills the type preservation under equivalence and reduction." @default.
- W4229041034 created "2022-05-08" @default.
- W4229041034 creator A5031723739 @default.
- W4229041034 creator A5072509898 @default.
- W4229041034 date "2022-04-25" @default.
- W4229041034 modified "2023-09-23" @default.
- W4229041034 title "Synchronization operator for communication privacy" @default.
- W4229041034 cites W1972836343 @default.
- W4229041034 cites W2054739713 @default.
- W4229041034 cites W2102097307 @default.
- W4229041034 cites W2141216727 @default.
- W4229041034 cites W2483867491 @default.
- W4229041034 cites W2757839910 @default.
- W4229041034 cites W2769690942 @default.
- W4229041034 cites W2962679183 @default.
- W4229041034 cites W4211008702 @default.
- W4229041034 cites W4244719572 @default.
- W4229041034 doi "https://doi.org/10.1145/3477314.3507349" @default.
- W4229041034 hasPublicationYear "2022" @default.
- W4229041034 type Work @default.
- W4229041034 citedByCount "0" @default.
- W4229041034 crossrefType "proceedings-article" @default.
- W4229041034 hasAuthorship W4229041034A5031723739 @default.
- W4229041034 hasAuthorship W4229041034A5072509898 @default.
- W4229041034 hasConcept C104317684 @default.
- W4229041034 hasConcept C118615104 @default.
- W4229041034 hasConcept C121332964 @default.
- W4229041034 hasConcept C127162648 @default.
- W4229041034 hasConcept C154945302 @default.
- W4229041034 hasConcept C158448853 @default.
- W4229041034 hasConcept C161771561 @default.
- W4229041034 hasConcept C17020691 @default.
- W4229041034 hasConcept C177264268 @default.
- W4229041034 hasConcept C185592680 @default.
- W4229041034 hasConcept C199360897 @default.
- W4229041034 hasConcept C24890656 @default.
- W4229041034 hasConcept C2775924081 @default.
- W4229041034 hasConcept C2778355321 @default.
- W4229041034 hasConcept C2778562939 @default.
- W4229041034 hasConcept C2780069185 @default.
- W4229041034 hasConcept C31258907 @default.
- W4229041034 hasConcept C33923547 @default.
- W4229041034 hasConcept C38652104 @default.
- W4229041034 hasConcept C41008148 @default.
- W4229041034 hasConcept C55493867 @default.
- W4229041034 hasConcept C80444323 @default.
- W4229041034 hasConcept C86339819 @default.
- W4229041034 hasConcept C98045186 @default.
- W4229041034 hasConceptScore W4229041034C104317684 @default.
- W4229041034 hasConceptScore W4229041034C118615104 @default.
- W4229041034 hasConceptScore W4229041034C121332964 @default.
- W4229041034 hasConceptScore W4229041034C127162648 @default.
- W4229041034 hasConceptScore W4229041034C154945302 @default.
- W4229041034 hasConceptScore W4229041034C158448853 @default.
- W4229041034 hasConceptScore W4229041034C161771561 @default.
- W4229041034 hasConceptScore W4229041034C17020691 @default.
- W4229041034 hasConceptScore W4229041034C177264268 @default.
- W4229041034 hasConceptScore W4229041034C185592680 @default.
- W4229041034 hasConceptScore W4229041034C199360897 @default.
- W4229041034 hasConceptScore W4229041034C24890656 @default.
- W4229041034 hasConceptScore W4229041034C2775924081 @default.
- W4229041034 hasConceptScore W4229041034C2778355321 @default.
- W4229041034 hasConceptScore W4229041034C2778562939 @default.
- W4229041034 hasConceptScore W4229041034C2780069185 @default.
- W4229041034 hasConceptScore W4229041034C31258907 @default.
- W4229041034 hasConceptScore W4229041034C33923547 @default.
- W4229041034 hasConceptScore W4229041034C38652104 @default.
- W4229041034 hasConceptScore W4229041034C41008148 @default.
- W4229041034 hasConceptScore W4229041034C55493867 @default.
- W4229041034 hasConceptScore W4229041034C80444323 @default.
- W4229041034 hasConceptScore W4229041034C86339819 @default.
- W4229041034 hasConceptScore W4229041034C98045186 @default.
- W4229041034 hasLocation W42290410341 @default.
- W4229041034 hasOpenAccess W4229041034 @default.
- W4229041034 hasPrimaryLocation W42290410341 @default.
- W4229041034 hasRelatedWork W1492584023 @default.
- W4229041034 hasRelatedWork W1804005701 @default.
- W4229041034 hasRelatedWork W1888841230 @default.
- W4229041034 hasRelatedWork W2031805159 @default.
- W4229041034 hasRelatedWork W2069441293 @default.
- W4229041034 hasRelatedWork W2123717426 @default.
- W4229041034 hasRelatedWork W2155105871 @default.
- W4229041034 hasRelatedWork W2291394520 @default.
- W4229041034 hasRelatedWork W2348507444 @default.
- W4229041034 hasRelatedWork W4207042428 @default.
- W4229041034 isParatext "false" @default.
- W4229041034 isRetracted "false" @default.
- W4229041034 workType "article" @default.