FRINK Linked Data Fragments server

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

• W3100709767 endingPage "485" @default.
• W3100709767 startingPage "469" @default.
• W3100709767 abstract "Linear logic Concurrent Constraint programming (LCC) is an extension of concurrent constraint programming (CC) where the constraint system is based on Girard's linear logic instead of the classical logic. In this paper we address the problem of program equivalence for this programming framework. For this purpose, we present a structural operational semantics for LCC based on a label transition system and investigate different notions of observational equivalences inspired by the state of art of process algebras. Then, we demonstrate that the asynchronous pi-calculus can be viewed as simple syntactical restrictions of LCC. Finally we show LCC observational equivalences can be transposed straightforwardly to classical Concurrent Constraint languages and Constraint Handling Rules, and investigate the resulting equivalences." @default.
• W3100709767 created "2020-11-23" @default.
• W3100709767 creator A5080546017 @default.
• W3100709767 date "2011-07-01" @default.
• W3100709767 modified "2023-10-16" @default.
• W3100709767 title "Observational equivalences for linear logic concurrent constraint languages" @default.
• W3100709767 cites W1487583155 @default.
• W3100709767 cites W1498867194 @default.
• W3100709767 cites W1513409503 @default.
• W3100709767 cites W1540729231 @default.
• W3100709767 cites W17321358 @default.
• W3100709767 cites W1979101142 @default.
• W3100709767 cites W1999810324 @default.
• W3100709767 cites W2020916002 @default.
• W3100709767 cites W2055378322 @default.
• W3100709767 cites W2072048176 @default.
• W3100709767 cites W2157144873 @default.
• W3100709767 cites W2911865844 @default.
• W3100709767 cites W2914597273 @default.
• W3100709767 cites W3100709767 @default.
• W3100709767 cites W4234159174 @default.
• W3100709767 cites W4301885396 @default.
• W3100709767 cites W79760435 @default.
• W3100709767 doi "https://doi.org/10.1017/s1471068411000123" @default.
• W3100709767 hasPublicationYear "2011" @default.
• W3100709767 type Work @default.
• W3100709767 sameAs 3100709767 @default.
• W3100709767 citedByCount "8" @default.
• W3100709767 countsByYear W31007097672013 @default.
• W3100709767 countsByYear W31007097672014 @default.
• W3100709767 countsByYear W31007097672015 @default.
• W3100709767 countsByYear W31007097672017 @default.
• W3100709767 countsByYear W31007097672018 @default.
• W3100709767 crossrefType "journal-article" @default.
• W3100709767 hasAuthorship W3100709767A5080546017 @default.
• W3100709767 hasBestOaLocation W31007097672 @default.
• W3100709767 hasConcept C118615104 @default.
• W3100709767 hasConcept C126255220 @default.
• W3100709767 hasConcept C128838566 @default.
• W3100709767 hasConcept C137631369 @default.
• W3100709767 hasConcept C154945302 @default.
• W3100709767 hasConcept C173404611 @default.
• W3100709767 hasConcept C176783269 @default.
• W3100709767 hasConcept C184337299 @default.
• W3100709767 hasConcept C199360897 @default.
• W3100709767 hasConcept C204306468 @default.
• W3100709767 hasConcept C2524010 @default.
• W3100709767 hasConcept C2776036281 @default.
• W3100709767 hasConcept C2777721189 @default.
• W3100709767 hasConcept C2780069185 @default.
• W3100709767 hasConcept C28077239 @default.
• W3100709767 hasConcept C33923547 @default.
• W3100709767 hasConcept C41008148 @default.
• W3100709767 hasConcept C44616089 @default.
• W3100709767 hasConcept C4777664 @default.
• W3100709767 hasConcept C49937458 @default.
• W3100709767 hasConcept C80444323 @default.
• W3100709767 hasConceptScore W3100709767C118615104 @default.
• W3100709767 hasConceptScore W3100709767C126255220 @default.
• W3100709767 hasConceptScore W3100709767C128838566 @default.
• W3100709767 hasConceptScore W3100709767C137631369 @default.
• W3100709767 hasConceptScore W3100709767C154945302 @default.
• W3100709767 hasConceptScore W3100709767C173404611 @default.
• W3100709767 hasConceptScore W3100709767C176783269 @default.
• W3100709767 hasConceptScore W3100709767C184337299 @default.
• W3100709767 hasConceptScore W3100709767C199360897 @default.
• W3100709767 hasConceptScore W3100709767C204306468 @default.
• W3100709767 hasConceptScore W3100709767C2524010 @default.
• W3100709767 hasConceptScore W3100709767C2776036281 @default.
• W3100709767 hasConceptScore W3100709767C2777721189 @default.
• W3100709767 hasConceptScore W3100709767C2780069185 @default.
• W3100709767 hasConceptScore W3100709767C28077239 @default.
• W3100709767 hasConceptScore W3100709767C33923547 @default.
• W3100709767 hasConceptScore W3100709767C41008148 @default.
• W3100709767 hasConceptScore W3100709767C44616089 @default.
• W3100709767 hasConceptScore W3100709767C4777664 @default.
• W3100709767 hasConceptScore W3100709767C49937458 @default.
• W3100709767 hasConceptScore W3100709767C80444323 @default.
• W3100709767 hasIssue "4-5" @default.
• W3100709767 hasLocation W31007097671 @default.
• W3100709767 hasLocation W31007097672 @default.
• W3100709767 hasLocation W31007097673 @default.
• W3100709767 hasOpenAccess W3100709767 @default.
• W3100709767 hasPrimaryLocation W31007097671 @default.
• W3100709767 hasRelatedWork W1483147174 @default.
• W3100709767 hasRelatedWork W1548409801 @default.
• W3100709767 hasRelatedWork W1583971359 @default.
• W3100709767 hasRelatedWork W1980681296 @default.
• W3100709767 hasRelatedWork W200657494 @default.
• W3100709767 hasRelatedWork W2020731817 @default.
• W3100709767 hasRelatedWork W2020916002 @default.
• W3100709767 hasRelatedWork W2175178858 @default.
• W3100709767 hasRelatedWork W3100709767 @default.
• W3100709767 hasRelatedWork W3141559808 @default.
• W3100709767 hasVolume "11" @default.
• W3100709767 isParatext "false" @default.
• W3100709767 isRetracted "false" @default.
• W3100709767 magId "3100709767" @default.

• next