FRINK Linked Data Fragments server

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

• W2149013004 endingPage "906" @default.
• W2149013004 startingPage "868" @default.
• W2149013004 abstract "We show that the proof-theoretic notion of logical preorder coincides with the process-theoretic notion of barbed preorder for a CCS-like process calculus obtained from the formula-as-process interpretation of a fragment of linear logic. The argument makes use of other standard notions in process algebra, namely simulation and labelled transition systems. This result establishes a connection between an approach to reason about process specifications, the barbed preorder, and a method to reason about logic specifications, the logical preorder." @default.
• W2149013004 created "2016-06-24" @default.
• W2149013004 creator A5022036342 @default.
• W2149013004 creator A5046367864 @default.
• W2149013004 creator A5061649545 @default.
• W2149013004 date "2014-11-10" @default.
• W2149013004 modified "2023-09-23" @default.
• W2149013004 title "Relating reasoning methodologies in linear logic and process algebra" @default.
• W2149013004 cites W1487583155 @default.
• W2149013004 cites W1546574044 @default.
• W2149013004 cites W1606971543 @default.
• W2149013004 cites W1607623316 @default.
• W2149013004 cites W1974825923 @default.
• W2149013004 cites W1978469611 @default.
• W2149013004 cites W1988824860 @default.
• W2149013004 cites W1999161312 @default.
• W2149013004 cites W1999810324 @default.
• W2149013004 cites W2004063149 @default.
• W2149013004 cites W2039977878 @default.
• W2149013004 cites W2072048176 @default.
• W2149013004 cites W2076632469 @default.
• W2149013004 cites W2076892721 @default.
• W2149013004 cites W2098149321 @default.
• W2149013004 cites W2129533356 @default.
• W2149013004 cites W2153557668 @default.
• W2149013004 cites W2911865844 @default.
• W2149013004 cites W3021888099 @default.
• W2149013004 cites W2024962155 @default.
• W2149013004 doi "https://doi.org/10.1017/s0960129514000413" @default.
• W2149013004 hasPublicationYear "2014" @default.
• W2149013004 type Work @default.
• W2149013004 sameAs 2149013004 @default.
• W2149013004 citedByCount "4" @default.
• W2149013004 countsByYear W21490130042017 @default.
• W2149013004 countsByYear W21490130042019 @default.
• W2149013004 countsByYear W21490130042020 @default.
• W2149013004 crossrefType "journal-article" @default.
• W2149013004 hasAuthorship W2149013004A5022036342 @default.
• W2149013004 hasAuthorship W2149013004A5046367864 @default.
• W2149013004 hasAuthorship W2149013004A5061649545 @default.
• W2149013004 hasBestOaLocation W21490130042 @default.
• W2149013004 hasConcept C11413529 @default.
• W2149013004 hasConcept C118615104 @default.
• W2149013004 hasConcept C136119220 @default.
• W2149013004 hasConcept C161771561 @default.
• W2149013004 hasConcept C185592680 @default.
• W2149013004 hasConcept C199343813 @default.
• W2149013004 hasConcept C199360897 @default.
• W2149013004 hasConcept C202444582 @default.
• W2149013004 hasConcept C2333172 @default.
• W2149013004 hasConcept C2776235265 @default.
• W2149013004 hasConcept C2777686260 @default.
• W2149013004 hasConcept C33923547 @default.
• W2149013004 hasConcept C41008148 @default.
• W2149013004 hasConcept C4777664 @default.
• W2149013004 hasConcept C527412718 @default.
• W2149013004 hasConcept C55493867 @default.
• W2149013004 hasConcept C71924100 @default.
• W2149013004 hasConcept C80444323 @default.
• W2149013004 hasConcept C98045186 @default.
• W2149013004 hasConcept C98184364 @default.
• W2149013004 hasConceptScore W2149013004C11413529 @default.
• W2149013004 hasConceptScore W2149013004C118615104 @default.
• W2149013004 hasConceptScore W2149013004C136119220 @default.
• W2149013004 hasConceptScore W2149013004C161771561 @default.
• W2149013004 hasConceptScore W2149013004C185592680 @default.
• W2149013004 hasConceptScore W2149013004C199343813 @default.
• W2149013004 hasConceptScore W2149013004C199360897 @default.
• W2149013004 hasConceptScore W2149013004C202444582 @default.
• W2149013004 hasConceptScore W2149013004C2333172 @default.
• W2149013004 hasConceptScore W2149013004C2776235265 @default.
• W2149013004 hasConceptScore W2149013004C2777686260 @default.
• W2149013004 hasConceptScore W2149013004C33923547 @default.
• W2149013004 hasConceptScore W2149013004C41008148 @default.
• W2149013004 hasConceptScore W2149013004C4777664 @default.
• W2149013004 hasConceptScore W2149013004C527412718 @default.
• W2149013004 hasConceptScore W2149013004C55493867 @default.
• W2149013004 hasConceptScore W2149013004C71924100 @default.
• W2149013004 hasConceptScore W2149013004C80444323 @default.
• W2149013004 hasConceptScore W2149013004C98045186 @default.
• W2149013004 hasConceptScore W2149013004C98184364 @default.
• W2149013004 hasIssue "5" @default.
• W2149013004 hasLocation W21490130041 @default.
• W2149013004 hasLocation W21490130042 @default.
• W2149013004 hasLocation W21490130043 @default.
• W2149013004 hasOpenAccess W2149013004 @default.
• W2149013004 hasPrimaryLocation W21490130041 @default.
• W2149013004 hasRelatedWork W1572612329 @default.
• W2149013004 hasRelatedWork W1596181599 @default.
• W2149013004 hasRelatedWork W1954655008 @default.
• W2149013004 hasRelatedWork W2046834127 @default.
• W2149013004 hasRelatedWork W2123833239 @default.
• W2149013004 hasRelatedWork W2149013004 @default.
• W2149013004 hasRelatedWork W2174921354 @default.
• W2149013004 hasRelatedWork W2560930356 @default.
• W2149013004 hasRelatedWork W2596418931 @default.
• W2149013004 hasRelatedWork W2808111091 @default.
• W2149013004 hasVolume "26" @default.

• next