Matches in SemOpenAlex for { <https://semopenalex.org/work/W3022811924> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W3022811924 endingPage "104587" @default.
- W3022811924 startingPage "104587" @default.
- W3022811924 abstract "We present the link-calculus, an extension of π-calculus, that models interactions that are multiparty, i.e. that may involve more than two processes, mutually exchanging data. Communications are seen as chains of suitably combined links (which record the source and the target ends of each hop of interactions), each contributed by one party. Values are exchanged by means of message tuples, still provided by each party. We develop semantic theories and proof techniques for link-calculus and apply them in reasoning about complex distributing computing scenarios, where more than two participants need to synchronise in order to perform a task. In particular, we introduce the notion of linked bisimilarity in analogy with the early bisimilarity of the π-calculus. Differently from the π-calculus case, we can show that it is a congruence with respect to all the link-calculus operators and that is also closed under name substitution." @default.
- W3022811924 created "2020-05-13" @default.
- W3022811924 creator A5031236056 @default.
- W3022811924 creator A5060034388 @default.
- W3022811924 creator A5074423047 @default.
- W3022811924 date "2020-12-01" @default.
- W3022811924 modified "2023-09-27" @default.
- W3022811924 title "The link-calculus for open multiparty interactions" @default.
- W3022811924 cites W1994472125 @default.
- W3022811924 cites W2048903680 @default.
- W3022811924 cites W2061895212 @default.
- W3022811924 cites W2095971297 @default.
- W3022811924 cites W2139842876 @default.
- W3022811924 cites W2400580994 @default.
- W3022811924 cites W2521339116 @default.
- W3022811924 cites W2827307751 @default.
- W3022811924 cites W2912003593 @default.
- W3022811924 cites W3005962139 @default.
- W3022811924 cites W3124439491 @default.
- W3022811924 cites W4210478186 @default.
- W3022811924 doi "https://doi.org/10.1016/j.ic.2020.104587" @default.
- W3022811924 hasPublicationYear "2020" @default.
- W3022811924 type Work @default.
- W3022811924 sameAs 3022811924 @default.
- W3022811924 citedByCount "5" @default.
- W3022811924 countsByYear W30228119242020 @default.
- W3022811924 countsByYear W30228119242021 @default.
- W3022811924 countsByYear W30228119242023 @default.
- W3022811924 crossrefType "journal-article" @default.
- W3022811924 hasAuthorship W3022811924A5031236056 @default.
- W3022811924 hasAuthorship W3022811924A5060034388 @default.
- W3022811924 hasAuthorship W3022811924A5074423047 @default.
- W3022811924 hasBestOaLocation W30228119241 @default.
- W3022811924 hasConcept C118615104 @default.
- W3022811924 hasConcept C118930307 @default.
- W3022811924 hasConcept C138885662 @default.
- W3022811924 hasConcept C161771561 @default.
- W3022811924 hasConcept C199343813 @default.
- W3022811924 hasConcept C199360897 @default.
- W3022811924 hasConcept C2777686260 @default.
- W3022811924 hasConcept C2778029271 @default.
- W3022811924 hasConcept C2778220771 @default.
- W3022811924 hasConcept C2778753846 @default.
- W3022811924 hasConcept C2984882572 @default.
- W3022811924 hasConcept C31258907 @default.
- W3022811924 hasConcept C33923547 @default.
- W3022811924 hasConcept C41008148 @default.
- W3022811924 hasConcept C41895202 @default.
- W3022811924 hasConcept C521332185 @default.
- W3022811924 hasConcept C71924100 @default.
- W3022811924 hasConcept C80444323 @default.
- W3022811924 hasConceptScore W3022811924C118615104 @default.
- W3022811924 hasConceptScore W3022811924C118930307 @default.
- W3022811924 hasConceptScore W3022811924C138885662 @default.
- W3022811924 hasConceptScore W3022811924C161771561 @default.
- W3022811924 hasConceptScore W3022811924C199343813 @default.
- W3022811924 hasConceptScore W3022811924C199360897 @default.
- W3022811924 hasConceptScore W3022811924C2777686260 @default.
- W3022811924 hasConceptScore W3022811924C2778029271 @default.
- W3022811924 hasConceptScore W3022811924C2778220771 @default.
- W3022811924 hasConceptScore W3022811924C2778753846 @default.
- W3022811924 hasConceptScore W3022811924C2984882572 @default.
- W3022811924 hasConceptScore W3022811924C31258907 @default.
- W3022811924 hasConceptScore W3022811924C33923547 @default.
- W3022811924 hasConceptScore W3022811924C41008148 @default.
- W3022811924 hasConceptScore W3022811924C41895202 @default.
- W3022811924 hasConceptScore W3022811924C521332185 @default.
- W3022811924 hasConceptScore W3022811924C71924100 @default.
- W3022811924 hasConceptScore W3022811924C80444323 @default.
- W3022811924 hasFunder F4320321873 @default.
- W3022811924 hasFunder F4320323343 @default.
- W3022811924 hasFunder F4320324499 @default.
- W3022811924 hasLocation W30228119241 @default.
- W3022811924 hasOpenAccess W3022811924 @default.
- W3022811924 hasPrimaryLocation W30228119241 @default.
- W3022811924 hasRelatedWork W1483205556 @default.
- W3022811924 hasRelatedWork W1565338810 @default.
- W3022811924 hasRelatedWork W2163278217 @default.
- W3022811924 hasRelatedWork W2166575037 @default.
- W3022811924 hasRelatedWork W2341613074 @default.
- W3022811924 hasRelatedWork W2381735521 @default.
- W3022811924 hasRelatedWork W2979603757 @default.
- W3022811924 hasRelatedWork W3022811924 @default.
- W3022811924 hasRelatedWork W4233609045 @default.
- W3022811924 hasRelatedWork W612959659 @default.
- W3022811924 hasVolume "275" @default.
- W3022811924 isParatext "false" @default.
- W3022811924 isRetracted "false" @default.
- W3022811924 magId "3022811924" @default.
- W3022811924 workType "article" @default.