FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2596262883> ?p ?o ?g. }

• W2596262883 endingPage "82" @default.
• W2596262883 startingPage "56" @default.
• W2596262883 abstract "Classical Linear Logic (CLL) has long inspired readings of its proofs as communicating processes. Wadler’s CP calculus is one of these readings. Wadler gave CP an operational semantics by selecting a subset of the cut-elimination rules of CLL to use as reduction rules. This semantics has an appealing close connection to the logic, but does not resolve the status of the other cut-elimination rules, and does not admit an obvious notion of observational equivalence. We propose a new operational semantics for CP based on the idea of observing communication. We use this semantics to define an intuitively reasonable notion of observational equivalence. To reason about observational equivalence, we use the standard relational denotational semantics of CLL. We show that this denotational semantics is adequate for our operational semantics. This allows us to deduce that, for instance, all the cut-elimination rules of CLL are observational equivalences." @default.
• W2596262883 created "2017-03-23" @default.
• W2596262883 creator A5036444096 @default.
• W2596262883 date "2017-01-01" @default.
• W2596262883 modified "2023-09-26" @default.
• W2596262883 title "Observed Communication Semantics for Classical Processes" @default.
• W2596262883 cites W1598954248 @default.
• W2596262883 cites W1607623316 @default.
• W2596262883 cites W1941373452 @default.
• W2596262883 cites W1973312452 @default.
• W2596262883 cites W1974825923 @default.
• W2596262883 cites W1993205599 @default.
• W2596262883 cites W2004063149 @default.
• W2596262883 cites W2007270285 @default.
• W2596262883 cites W2010649834 @default.
• W2596262883 cites W2012968289 @default.
• W2596262883 cites W2015163350 @default.
• W2596262883 cites W2054150540 @default.
• W2596262883 cites W2079873887 @default.
• W2596262883 cites W2088881461 @default.
• W2596262883 cites W2093397547 @default.
• W2596262883 cites W2102548545 @default.
• W2596262883 cites W2124126159 @default.
• W2596262883 cites W2138552902 @default.
• W2596262883 cites W2153557668 @default.
• W2596262883 cites W2293728411 @default.
• W2596262883 cites W2340622488 @default.
• W2596262883 cites W2484189767 @default.
• W2596262883 cites W2517371102 @default.
• W2596262883 cites W2556421358 @default.
• W2596262883 cites W2911865844 @default.
• W2596262883 cites W2911874855 @default.
• W2596262883 cites W2914597273 @default.
• W2596262883 cites W4212940261 @default.
• W2596262883 cites W2036037932 @default.
• W2596262883 doi "https://doi.org/10.1007/978-3-662-54434-1_3" @default.
• W2596262883 hasPublicationYear "2017" @default.
• W2596262883 type Work @default.
• W2596262883 sameAs 2596262883 @default.
• W2596262883 citedByCount "13" @default.
• W2596262883 countsByYear W25962628832018 @default.
• W2596262883 countsByYear W25962628832019 @default.
• W2596262883 countsByYear W25962628832020 @default.
• W2596262883 countsByYear W25962628832021 @default.
• W2596262883 countsByYear W25962628832022 @default.
• W2596262883 crossrefType "book-chapter" @default.
• W2596262883 hasAuthorship W2596262883A5036444096 @default.
• W2596262883 hasBestOaLocation W25962628832 @default.
• W2596262883 hasConcept C105795698 @default.
• W2596262883 hasConcept C108710211 @default.
• W2596262883 hasConcept C118615104 @default.
• W2596262883 hasConcept C136119220 @default.
• W2596262883 hasConcept C150607116 @default.
• W2596262883 hasConcept C156325763 @default.
• W2596262883 hasConcept C184337299 @default.
• W2596262883 hasConcept C199343813 @default.
• W2596262883 hasConcept C199360897 @default.
• W2596262883 hasConcept C202444582 @default.
• W2596262883 hasConcept C207648694 @default.
• W2596262883 hasConcept C23131810 @default.
• W2596262883 hasConcept C2524010 @default.
• W2596262883 hasConcept C2777686260 @default.
• W2596262883 hasConcept C2777721189 @default.
• W2596262883 hasConcept C2780069185 @default.
• W2596262883 hasConcept C33923547 @default.
• W2596262883 hasConcept C41008148 @default.
• W2596262883 hasConcept C71924100 @default.
• W2596262883 hasConcept C80444323 @default.
• W2596262883 hasConcept C87365073 @default.
• W2596262883 hasConcept C89448276 @default.
• W2596262883 hasConcept C89497691 @default.
• W2596262883 hasConcept C9672783 @default.
• W2596262883 hasConceptScore W2596262883C105795698 @default.
• W2596262883 hasConceptScore W2596262883C108710211 @default.
• W2596262883 hasConceptScore W2596262883C118615104 @default.
• W2596262883 hasConceptScore W2596262883C136119220 @default.
• W2596262883 hasConceptScore W2596262883C150607116 @default.
• W2596262883 hasConceptScore W2596262883C156325763 @default.
• W2596262883 hasConceptScore W2596262883C184337299 @default.
• W2596262883 hasConceptScore W2596262883C199343813 @default.
• W2596262883 hasConceptScore W2596262883C199360897 @default.
• W2596262883 hasConceptScore W2596262883C202444582 @default.
• W2596262883 hasConceptScore W2596262883C207648694 @default.
• W2596262883 hasConceptScore W2596262883C23131810 @default.
• W2596262883 hasConceptScore W2596262883C2524010 @default.
• W2596262883 hasConceptScore W2596262883C2777686260 @default.
• W2596262883 hasConceptScore W2596262883C2777721189 @default.
• W2596262883 hasConceptScore W2596262883C2780069185 @default.
• W2596262883 hasConceptScore W2596262883C33923547 @default.
• W2596262883 hasConceptScore W2596262883C41008148 @default.
• W2596262883 hasConceptScore W2596262883C71924100 @default.
• W2596262883 hasConceptScore W2596262883C80444323 @default.
• W2596262883 hasConceptScore W2596262883C87365073 @default.
• W2596262883 hasConceptScore W2596262883C89448276 @default.
• W2596262883 hasConceptScore W2596262883C89497691 @default.
• W2596262883 hasConceptScore W2596262883C9672783 @default.
• W2596262883 hasLocation W25962628831 @default.
• W2596262883 hasLocation W25962628832 @default.

• next