Matches in SemOpenAlex for { <https://semopenalex.org/work/W2953208045> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2953208045 abstract "This paper elaborates on a new approach of the question of the proof-theoretic study of concurrent interaction called as schedules. Observing that proof theory is well suited to the description of confluent systems while concurrency has non-determinism as a funda- mental feature, we develop a correspondence where proofs provide what is needed to make concurrent systems confluent, namely scheduling. In our core logical system (a variant of multiplicative linear logic), processes and schedulers appear explicitly as proofs in different fragments of the proof language and cut elimination between them does correspond to execution of a concurrent system. This separation of roles suggests new insights for the denotational semantics of processes and new methods for the translation of pi-calculi into prefix-less formalisms (like solos), as the operational counterpart of a translation between logical systems." @default.
- W2953208045 created "2019-06-27" @default.
- W2953208045 creator A5051149128 @default.
- W2953208045 date "2014-02-26" @default.
- W2953208045 modified "2023-09-27" @default.
- W2953208045 title "A logical view on scheduling in concurrency" @default.
- W2953208045 cites W1491492813 @default.
- W2953208045 cites W1503973138 @default.
- W2953208045 cites W1606971543 @default.
- W2953208045 cites W1607623316 @default.
- W2953208045 cites W16980785 @default.
- W2953208045 cites W1978469611 @default.
- W2953208045 cites W2004063149 @default.
- W2953208045 cites W2010113673 @default.
- W2953208045 cites W2010649834 @default.
- W2953208045 cites W2028016184 @default.
- W2953208045 cites W2031689017 @default.
- W2953208045 cites W2079171825 @default.
- W2953208045 cites W2085264580 @default.
- W2953208045 cites W2093561140 @default.
- W2953208045 cites W2108721198 @default.
- W2953208045 cites W2129295475 @default.
- W2953208045 cites W2911865844 @default.
- W2953208045 cites W2914421362 @default.
- W2953208045 cites W90706683 @default.
- W2953208045 hasPublicationYear "2014" @default.
- W2953208045 type Work @default.
- W2953208045 sameAs 2953208045 @default.
- W2953208045 citedByCount "0" @default.
- W2953208045 crossrefType "posted-content" @default.
- W2953208045 hasAuthorship W2953208045A5051149128 @default.
- W2953208045 hasConcept C108710211 @default.
- W2953208045 hasConcept C121332964 @default.
- W2953208045 hasConcept C156325763 @default.
- W2953208045 hasConcept C171018156 @default.
- W2953208045 hasConcept C184337299 @default.
- W2953208045 hasConcept C192183473 @default.
- W2953208045 hasConcept C193702766 @default.
- W2953208045 hasConcept C199360897 @default.
- W2953208045 hasConcept C207648694 @default.
- W2953208045 hasConcept C2318724 @default.
- W2953208045 hasConcept C2524010 @default.
- W2953208045 hasConcept C28077239 @default.
- W2953208045 hasConcept C33923547 @default.
- W2953208045 hasConcept C41008148 @default.
- W2953208045 hasConcept C62520636 @default.
- W2953208045 hasConcept C80444323 @default.
- W2953208045 hasConceptScore W2953208045C108710211 @default.
- W2953208045 hasConceptScore W2953208045C121332964 @default.
- W2953208045 hasConceptScore W2953208045C156325763 @default.
- W2953208045 hasConceptScore W2953208045C171018156 @default.
- W2953208045 hasConceptScore W2953208045C184337299 @default.
- W2953208045 hasConceptScore W2953208045C192183473 @default.
- W2953208045 hasConceptScore W2953208045C193702766 @default.
- W2953208045 hasConceptScore W2953208045C199360897 @default.
- W2953208045 hasConceptScore W2953208045C207648694 @default.
- W2953208045 hasConceptScore W2953208045C2318724 @default.
- W2953208045 hasConceptScore W2953208045C2524010 @default.
- W2953208045 hasConceptScore W2953208045C28077239 @default.
- W2953208045 hasConceptScore W2953208045C33923547 @default.
- W2953208045 hasConceptScore W2953208045C41008148 @default.
- W2953208045 hasConceptScore W2953208045C62520636 @default.
- W2953208045 hasConceptScore W2953208045C80444323 @default.
- W2953208045 hasLocation W29532080451 @default.
- W2953208045 hasOpenAccess W2953208045 @default.
- W2953208045 hasPrimaryLocation W29532080451 @default.
- W2953208045 hasRelatedWork W1505437623 @default.
- W2953208045 hasRelatedWork W1517509361 @default.
- W2953208045 hasRelatedWork W1525248835 @default.
- W2953208045 hasRelatedWork W1587299948 @default.
- W2953208045 hasRelatedWork W1591242928 @default.
- W2953208045 hasRelatedWork W1592696017 @default.
- W2953208045 hasRelatedWork W1701167083 @default.
- W2953208045 hasRelatedWork W2086165437 @default.
- W2953208045 hasRelatedWork W2099521332 @default.
- W2953208045 hasRelatedWork W2515420469 @default.
- W2953208045 hasRelatedWork W2562833768 @default.
- W2953208045 hasRelatedWork W2587831345 @default.
- W2953208045 hasRelatedWork W2949438213 @default.
- W2953208045 hasRelatedWork W2952198901 @default.
- W2953208045 hasRelatedWork W3016159912 @default.
- W2953208045 hasRelatedWork W3099956889 @default.
- W2953208045 hasRelatedWork W3138070738 @default.
- W2953208045 hasRelatedWork W3149276204 @default.
- W2953208045 hasRelatedWork W44718774 @default.
- W2953208045 hasRelatedWork W1895748942 @default.
- W2953208045 isParatext "false" @default.
- W2953208045 isRetracted "false" @default.
- W2953208045 magId "2953208045" @default.
- W2953208045 workType "article" @default.