Matches in SemOpenAlex for { <https://semopenalex.org/work/W3103183480> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W3103183480 abstract "Comparison of concurrent programming languages and correctness of program transformations in concurrency are the focus of this research. As criterion we use contextual semantics adapted to concurrency, where may -- as well as should -- convergence are observed. We investigate the relation between the synchronous pi-calculus and a core language of Concurrent Haskell (CH). The contextual semantics is on the one hand forgiving with respect to the details of the operational semantics, and on the other hand implies strong requirements for the interplay between the processes after translation. Our result is that CH embraces the synchronous pi-calculus. Our main task is to find and prove correctness of encodings of pi-calculus channels by CH's concurrency primitives, which are MVars. They behave like (blocking) 1-place buffers modelling the shared-memory. The first developed translation uses an extra private MVar for every communication.We also automatically generate and check potentially correct translations that reuse the MVars where one MVar contains the message and two additional MVars for synchronization are used to model the synchronized communication of a single channel in the pi-calculus.Our automated experimental results lead to the conjecture that one additional MVar is insufficient." @default.
- W3103183480 created "2020-11-23" @default.
- W3103183480 creator A5016539119 @default.
- W3103183480 creator A5031293152 @default.
- W3103183480 date "2020-08-27" @default.
- W3103183480 modified "2023-10-16" @default.
- W3103183480 title "Correctly Implementing Synchronous Message Passing in the Pi-Calculus By Concurrent Haskell's MVars" @default.
- W3103183480 cites W1496812276 @default.
- W3103183480 cites W1514004408 @default.
- W3103183480 cites W1523648047 @default.
- W3103183480 cites W1591694044 @default.
- W3103183480 cites W1969411922 @default.
- W3103183480 cites W1980971812 @default.
- W3103183480 cites W1983326670 @default.
- W3103183480 cites W1994676271 @default.
- W3103183480 cites W2001567901 @default.
- W3103183480 cites W2018014973 @default.
- W3103183480 cites W2032980026 @default.
- W3103183480 cites W2052415459 @default.
- W3103183480 cites W2060992753 @default.
- W3103183480 cites W2074618290 @default.
- W3103183480 cites W2093441082 @default.
- W3103183480 cites W2109585055 @default.
- W3103183480 cites W2128932399 @default.
- W3103183480 cites W2162146115 @default.
- W3103183480 cites W2284263109 @default.
- W3103183480 cites W2294166185 @default.
- W3103183480 cites W2295577580 @default.
- W3103183480 cites W2296715995 @default.
- W3103183480 cites W2619170518 @default.
- W3103183480 cites W2886260054 @default.
- W3103183480 cites W2962928782 @default.
- W3103183480 cites W2989248025 @default.
- W3103183480 cites W3124439491 @default.
- W3103183480 cites W4292003258 @default.
- W3103183480 doi "https://doi.org/10.4204/eptcs.322.8" @default.
- W3103183480 hasPublicationYear "2020" @default.
- W3103183480 type Work @default.
- W3103183480 sameAs 3103183480 @default.
- W3103183480 citedByCount "2" @default.
- W3103183480 countsByYear W31031834802021 @default.
- W3103183480 crossrefType "journal-article" @default.
- W3103183480 hasAuthorship W3103183480A5016539119 @default.
- W3103183480 hasAuthorship W3103183480A5031293152 @default.
- W3103183480 hasBestOaLocation W31031834801 @default.
- W3103183480 hasConcept C127162648 @default.
- W3103183480 hasConcept C184337299 @default.
- W3103183480 hasConcept C193702766 @default.
- W3103183480 hasConcept C199360897 @default.
- W3103183480 hasConcept C2778562939 @default.
- W3103183480 hasConcept C2780624054 @default.
- W3103183480 hasConcept C2984882572 @default.
- W3103183480 hasConcept C31258907 @default.
- W3103183480 hasConcept C41008148 @default.
- W3103183480 hasConcept C42383842 @default.
- W3103183480 hasConcept C55439883 @default.
- W3103183480 hasConcept C80444323 @default.
- W3103183480 hasConceptScore W3103183480C127162648 @default.
- W3103183480 hasConceptScore W3103183480C184337299 @default.
- W3103183480 hasConceptScore W3103183480C193702766 @default.
- W3103183480 hasConceptScore W3103183480C199360897 @default.
- W3103183480 hasConceptScore W3103183480C2778562939 @default.
- W3103183480 hasConceptScore W3103183480C2780624054 @default.
- W3103183480 hasConceptScore W3103183480C2984882572 @default.
- W3103183480 hasConceptScore W3103183480C31258907 @default.
- W3103183480 hasConceptScore W3103183480C41008148 @default.
- W3103183480 hasConceptScore W3103183480C42383842 @default.
- W3103183480 hasConceptScore W3103183480C55439883 @default.
- W3103183480 hasConceptScore W3103183480C80444323 @default.
- W3103183480 hasLocation W31031834801 @default.
- W3103183480 hasLocation W31031834802 @default.
- W3103183480 hasOpenAccess W3103183480 @default.
- W3103183480 hasPrimaryLocation W31031834801 @default.
- W3103183480 hasRelatedWork W10127936 @default.
- W3103183480 hasRelatedWork W1331764 @default.
- W3103183480 hasRelatedWork W2623153 @default.
- W3103183480 hasRelatedWork W2921878 @default.
- W3103183480 hasRelatedWork W4451720 @default.
- W3103183480 hasRelatedWork W5651039 @default.
- W3103183480 hasRelatedWork W7208704 @default.
- W3103183480 hasRelatedWork W740510 @default.
- W3103183480 hasRelatedWork W8828592 @default.
- W3103183480 hasRelatedWork W10042895 @default.
- W3103183480 isParatext "false" @default.
- W3103183480 isRetracted "false" @default.
- W3103183480 magId "3103183480" @default.
- W3103183480 workType "article" @default.