FRINK Linked Data Fragments server

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

• W2156866532 abstract "The operation of relativizing properties with respect to parallel environments often used in obtaining compositionality in theories for concurrency corresponds to a notion of (contraction-free) relevant deduction. The author considers program logics in which this notion of deduction is internalized by the corresponding implication. The idea is carried through for safety properties of a simple system of SCCS-type synchronous processes with an internal choice operator. They present two completeness results: first for a modal extension of positive propositional linear logic with respect to the equational class of algebras containing the safety testing quotient of the author's process system as its free member, and second for the free algebra itself. >" @default.
• W2156866532 created "2016-06-24" @default.
• W2156866532 creator A5023822955 @default.
• W2156866532 date "2003-01-06" @default.
• W2156866532 modified "2023-09-27" @default.
• W2156866532 title "Relevance logic and concurrent composition" @default.
• W2156866532 cites W1553204753 @default.
• W2156866532 cites W1554516311 @default.
• W2156866532 cites W1567765153 @default.
• W2156866532 cites W1593617641 @default.
• W2156866532 cites W1974484530 @default.
• W2156866532 cites W1978469611 @default.
• W2156866532 cites W2001748564 @default.
• W2156866532 cites W2002458545 @default.
• W2156866532 cites W2036996017 @default.
• W2156866532 cites W2061841985 @default.
• W2156866532 cites W2071748540 @default.
• W2156866532 cites W2073764215 @default.
• W2156866532 cites W2102097307 @default.
• W2156866532 cites W2137865376 @default.
• W2156866532 cites W2154114798 @default.
• W2156866532 cites W2157144873 @default.
• W2156866532 cites W2911865844 @default.
• W2156866532 cites W32773943 @default.
• W2156866532 cites W51486625 @default.
• W2156866532 cites W80370608 @default.
• W2156866532 doi "https://doi.org/10.1109/lics.1988.5116" @default.
• W2156866532 hasPublicationYear "2003" @default.
• W2156866532 type Work @default.
• W2156866532 sameAs 2156866532 @default.
• W2156866532 citedByCount "21" @default.
• W2156866532 countsByYear W21568665322012 @default.
• W2156866532 crossrefType "proceedings-article" @default.
• W2156866532 hasAuthorship W2156866532A5023822955 @default.
• W2156866532 hasBestOaLocation W21568665322 @default.
• W2156866532 hasConcept C102993220 @default.
• W2156866532 hasConcept C114092440 @default.
• W2156866532 hasConcept C121375916 @default.
• W2156866532 hasConcept C136119220 @default.
• W2156866532 hasConcept C154945302 @default.
• W2156866532 hasConcept C161771561 @default.
• W2156866532 hasConcept C185592680 @default.
• W2156866532 hasConcept C188027245 @default.
• W2156866532 hasConcept C192609573 @default.
• W2156866532 hasConcept C193702766 @default.
• W2156866532 hasConcept C199360897 @default.
• W2156866532 hasConcept C202444582 @default.
• W2156866532 hasConcept C27508121 @default.
• W2156866532 hasConcept C2778029271 @default.
• W2156866532 hasConcept C28077239 @default.
• W2156866532 hasConcept C33203268 @default.
• W2156866532 hasConcept C33923547 @default.
• W2156866532 hasConcept C41008148 @default.
• W2156866532 hasConcept C71139939 @default.
• W2156866532 hasConcept C80444323 @default.
• W2156866532 hasConceptScore W2156866532C102993220 @default.
• W2156866532 hasConceptScore W2156866532C114092440 @default.
• W2156866532 hasConceptScore W2156866532C121375916 @default.
• W2156866532 hasConceptScore W2156866532C136119220 @default.
• W2156866532 hasConceptScore W2156866532C154945302 @default.
• W2156866532 hasConceptScore W2156866532C161771561 @default.
• W2156866532 hasConceptScore W2156866532C185592680 @default.
• W2156866532 hasConceptScore W2156866532C188027245 @default.
• W2156866532 hasConceptScore W2156866532C192609573 @default.
• W2156866532 hasConceptScore W2156866532C193702766 @default.
• W2156866532 hasConceptScore W2156866532C199360897 @default.
• W2156866532 hasConceptScore W2156866532C202444582 @default.
• W2156866532 hasConceptScore W2156866532C27508121 @default.
• W2156866532 hasConceptScore W2156866532C2778029271 @default.
• W2156866532 hasConceptScore W2156866532C28077239 @default.
• W2156866532 hasConceptScore W2156866532C33203268 @default.
• W2156866532 hasConceptScore W2156866532C33923547 @default.
• W2156866532 hasConceptScore W2156866532C41008148 @default.
• W2156866532 hasConceptScore W2156866532C71139939 @default.
• W2156866532 hasConceptScore W2156866532C80444323 @default.
• W2156866532 hasLocation W21568665321 @default.
• W2156866532 hasLocation W21568665322 @default.
• W2156866532 hasLocation W21568665323 @default.
• W2156866532 hasOpenAccess W2156866532 @default.
• W2156866532 hasPrimaryLocation W21568665321 @default.
• W2156866532 hasRelatedWork W1529140242 @default.
• W2156866532 hasRelatedWork W1550792966 @default.
• W2156866532 hasRelatedWork W1558791089 @default.
• W2156866532 hasRelatedWork W1851327922 @default.
• W2156866532 hasRelatedWork W1932110987 @default.
• W2156866532 hasRelatedWork W1936084083 @default.
• W2156866532 hasRelatedWork W1973627522 @default.
• W2156866532 hasRelatedWork W1978469611 @default.
• W2156866532 hasRelatedWork W1982081755 @default.
• W2156866532 hasRelatedWork W2008132476 @default.
• W2156866532 hasRelatedWork W2076632469 @default.
• W2156866532 hasRelatedWork W2088336357 @default.
• W2156866532 hasRelatedWork W2094712820 @default.
• W2156866532 hasRelatedWork W2106102830 @default.
• W2156866532 hasRelatedWork W2108857165 @default.
• W2156866532 hasRelatedWork W2126008038 @default.
• W2156866532 hasRelatedWork W2146819619 @default.
• W2156866532 hasRelatedWork W2148361595 @default.
• W2156866532 hasRelatedWork W2163869523 @default.
• W2156866532 hasRelatedWork W2167998587 @default.

• next