Matches in SemOpenAlex for { <https://semopenalex.org/work/W2295388763> ?p ?o ?g. }
- W2295388763 abstract "Distributed systems are everywhere around us and guaranteeing their correctness is of paramount importance. It is natural to expect that these systems interact and communicate among them to achieve a common task.In this work, we develop techniques based on types and type systems for the verification of correctness, consistency and safety properties related to communication in complex distributed systems. We study advanced safety properties related to communication, like deadlock or lock freedom and progress. We study session types in the pi-calculus describing distributed systems and communication-centric computation. Most importantly, we de- fine an encoding of the session pi-calculus into the standard typed pi-calculus in order to understand the expressive power of these concurrent calculi. We show how to derive in the session pi-calculus basic properties, like type safety or complex ones, like progress, by exploiting this encoding." @default.
- W2295388763 created "2016-06-24" @default.
- W2295388763 creator A5050784078 @default.
- W2295388763 date "2015-10-05" @default.
- W2295388763 modified "2023-09-26" @default.
- W2295388763 title "Type systems for distributed programs: session communication" @default.
- W2295388763 cites W1498393124 @default.
- W2295388763 cites W1511998399 @default.
- W2295388763 cites W1516360493 @default.
- W2295388763 cites W1523525039 @default.
- W2295388763 cites W1527058108 @default.
- W2295388763 cites W1560340731 @default.
- W2295388763 cites W1607623316 @default.
- W2295388763 cites W1663174014 @default.
- W2295388763 cites W1784055113 @default.
- W2295388763 cites W1859118644 @default.
- W2295388763 cites W1941373452 @default.
- W2295388763 cites W1972836343 @default.
- W2295388763 cites W199277246 @default.
- W2295388763 cites W2008838944 @default.
- W2295388763 cites W2040105559 @default.
- W2295388763 cites W2047084525 @default.
- W2295388763 cites W2061637869 @default.
- W2295388763 cites W2065772939 @default.
- W2295388763 cites W207226074 @default.
- W2295388763 cites W2080718905 @default.
- W2295388763 cites W2085243417 @default.
- W2295388763 cites W2088962847 @default.
- W2295388763 cites W2089615179 @default.
- W2295388763 cites W2092952058 @default.
- W2295388763 cites W2113714969 @default.
- W2295388763 cites W2128280268 @default.
- W2295388763 cites W2129381550 @default.
- W2295388763 cites W2142988323 @default.
- W2295388763 cites W2153557668 @default.
- W2295388763 cites W2165879990 @default.
- W2295388763 cites W241121309 @default.
- W2295388763 cites W2915033835 @default.
- W2295388763 cites W607442046 @default.
- W2295388763 cites W91113134 @default.
- W2295388763 hasPublicationYear "2015" @default.
- W2295388763 type Work @default.
- W2295388763 sameAs 2295388763 @default.
- W2295388763 citedByCount "0" @default.
- W2295388763 crossrefType "journal-article" @default.
- W2295388763 hasAuthorship W2295388763A5050784078 @default.
- W2295388763 hasConcept C120314980 @default.
- W2295388763 hasConcept C127413603 @default.
- W2295388763 hasConcept C136764020 @default.
- W2295388763 hasConcept C154945302 @default.
- W2295388763 hasConcept C159023740 @default.
- W2295388763 hasConcept C174839445 @default.
- W2295388763 hasConcept C195818886 @default.
- W2295388763 hasConcept C199360897 @default.
- W2295388763 hasConcept C2776436953 @default.
- W2295388763 hasConcept C2779182362 @default.
- W2295388763 hasConcept C2984882572 @default.
- W2295388763 hasConcept C41008148 @default.
- W2295388763 hasConcept C55439883 @default.
- W2295388763 hasConcept C78519656 @default.
- W2295388763 hasConcept C80444323 @default.
- W2295388763 hasConceptScore W2295388763C120314980 @default.
- W2295388763 hasConceptScore W2295388763C127413603 @default.
- W2295388763 hasConceptScore W2295388763C136764020 @default.
- W2295388763 hasConceptScore W2295388763C154945302 @default.
- W2295388763 hasConceptScore W2295388763C159023740 @default.
- W2295388763 hasConceptScore W2295388763C174839445 @default.
- W2295388763 hasConceptScore W2295388763C195818886 @default.
- W2295388763 hasConceptScore W2295388763C199360897 @default.
- W2295388763 hasConceptScore W2295388763C2776436953 @default.
- W2295388763 hasConceptScore W2295388763C2779182362 @default.
- W2295388763 hasConceptScore W2295388763C2984882572 @default.
- W2295388763 hasConceptScore W2295388763C41008148 @default.
- W2295388763 hasConceptScore W2295388763C55439883 @default.
- W2295388763 hasConceptScore W2295388763C78519656 @default.
- W2295388763 hasConceptScore W2295388763C80444323 @default.
- W2295388763 hasIssue "117" @default.
- W2295388763 hasLocation W22953887631 @default.
- W2295388763 hasOpenAccess W2295388763 @default.
- W2295388763 hasPrimaryLocation W22953887631 @default.
- W2295388763 hasRelatedWork W1517542534 @default.
- W2295388763 hasRelatedWork W1560507048 @default.
- W2295388763 hasRelatedWork W1562729841 @default.
- W2295388763 hasRelatedWork W1573306847 @default.
- W2295388763 hasRelatedWork W1988442907 @default.
- W2295388763 hasRelatedWork W2040105559 @default.
- W2295388763 hasRelatedWork W2066599865 @default.
- W2295388763 hasRelatedWork W2089354154 @default.
- W2295388763 hasRelatedWork W2094023238 @default.
- W2295388763 hasRelatedWork W2284655150 @default.
- W2295388763 hasRelatedWork W2528375622 @default.
- W2295388763 hasRelatedWork W2556406350 @default.
- W2295388763 hasRelatedWork W2734797515 @default.
- W2295388763 hasRelatedWork W2900745072 @default.
- W2295388763 hasRelatedWork W2995705594 @default.
- W2295388763 hasRelatedWork W3160171613 @default.
- W2295388763 hasRelatedWork W3180186342 @default.
- W2295388763 hasRelatedWork W564832898 @default.
- W2295388763 hasRelatedWork W59370666 @default.
- W2295388763 hasRelatedWork W1583104989 @default.