Matches in SemOpenAlex for { <https://semopenalex.org/work/W3114866707> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W3114866707 abstract "Process calculi based in logic, such as $pi$DILL and CP, provide a foundation for deadlock-free concurrent programming, but exclude non-determinism and races. HCP is a reformulation of CP which addresses a fundamental shortcoming: the fundamental operator for parallel composition from the $pi$-calculus does not correspond to any rule of linear logic, and therefore not to any term construct in CP. We introduce non-deterministic HCP, which extends HCP with a novel account of non-determinism. Our approach draws on bounded linear logic to provide a strongly-typed account of standard process calculus expressions of non-determinism. We show that our extension is expressive enough to capture many uses of non-determinism in untyped calculi, such as non-deterministic choice, while preserving HCP's meta-theoretic properties, including deadlock freedom." @default.
- W3114866707 created "2021-01-05" @default.
- W3114866707 creator A5018878077 @default.
- W3114866707 creator A5067671067 @default.
- W3114866707 creator A5079083322 @default.
- W3114866707 date "2020-01-01" @default.
- W3114866707 modified "2023-09-25" @default.
- W3114866707 title "Towards Races in Linear Logic." @default.
- W3114866707 hasPublicationYear "2020" @default.
- W3114866707 type Work @default.
- W3114866707 sameAs 3114866707 @default.
- W3114866707 citedByCount "0" @default.
- W3114866707 crossrefType "journal-article" @default.
- W3114866707 hasAuthorship W3114866707A5018878077 @default.
- W3114866707 hasAuthorship W3114866707A5067671067 @default.
- W3114866707 hasAuthorship W3114866707A5079083322 @default.
- W3114866707 hasConcept C118615104 @default.
- W3114866707 hasConcept C121332964 @default.
- W3114866707 hasConcept C136119220 @default.
- W3114866707 hasConcept C192183473 @default.
- W3114866707 hasConcept C199343813 @default.
- W3114866707 hasConcept C199360897 @default.
- W3114866707 hasConcept C202444582 @default.
- W3114866707 hasConcept C2777686260 @default.
- W3114866707 hasConcept C2778029271 @default.
- W3114866707 hasConcept C2780801425 @default.
- W3114866707 hasConcept C28077239 @default.
- W3114866707 hasConcept C33923547 @default.
- W3114866707 hasConcept C41008148 @default.
- W3114866707 hasConcept C62520636 @default.
- W3114866707 hasConcept C71924100 @default.
- W3114866707 hasConcept C80444323 @default.
- W3114866707 hasConceptScore W3114866707C118615104 @default.
- W3114866707 hasConceptScore W3114866707C121332964 @default.
- W3114866707 hasConceptScore W3114866707C136119220 @default.
- W3114866707 hasConceptScore W3114866707C192183473 @default.
- W3114866707 hasConceptScore W3114866707C199343813 @default.
- W3114866707 hasConceptScore W3114866707C199360897 @default.
- W3114866707 hasConceptScore W3114866707C202444582 @default.
- W3114866707 hasConceptScore W3114866707C2777686260 @default.
- W3114866707 hasConceptScore W3114866707C2778029271 @default.
- W3114866707 hasConceptScore W3114866707C2780801425 @default.
- W3114866707 hasConceptScore W3114866707C28077239 @default.
- W3114866707 hasConceptScore W3114866707C33923547 @default.
- W3114866707 hasConceptScore W3114866707C41008148 @default.
- W3114866707 hasConceptScore W3114866707C62520636 @default.
- W3114866707 hasConceptScore W3114866707C71924100 @default.
- W3114866707 hasConceptScore W3114866707C80444323 @default.
- W3114866707 hasLocation W31148667071 @default.
- W3114866707 hasOpenAccess W3114866707 @default.
- W3114866707 hasPrimaryLocation W31148667071 @default.
- W3114866707 hasRelatedWork W1996820391 @default.
- W3114866707 hasRelatedWork W2063922067 @default.
- W3114866707 hasRelatedWork W2064948582 @default.
- W3114866707 hasRelatedWork W2065163191 @default.
- W3114866707 hasRelatedWork W2128770734 @default.
- W3114866707 hasRelatedWork W2290993782 @default.
- W3114866707 hasRelatedWork W2539839969 @default.
- W3114866707 hasRelatedWork W2751448516 @default.
- W3114866707 hasRelatedWork W2763666638 @default.
- W3114866707 hasRelatedWork W2825557463 @default.
- W3114866707 hasRelatedWork W2903954122 @default.
- W3114866707 hasRelatedWork W2908011342 @default.
- W3114866707 hasRelatedWork W2921659641 @default.
- W3114866707 hasRelatedWork W2922620979 @default.
- W3114866707 hasRelatedWork W2976114654 @default.
- W3114866707 hasRelatedWork W3098233315 @default.
- W3114866707 hasRelatedWork W3126289824 @default.
- W3114866707 hasRelatedWork W3213137027 @default.
- W3114866707 hasRelatedWork W1745255149 @default.
- W3114866707 hasRelatedWork W2595745623 @default.
- W3114866707 hasVolume "16" @default.
- W3114866707 isParatext "false" @default.
- W3114866707 isRetracted "false" @default.
- W3114866707 magId "3114866707" @default.
- W3114866707 workType "article" @default.