Matches in SemOpenAlex for { <https://semopenalex.org/work/W75921630> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W75921630 abstract "We introduce a formal algebraic semantics for CSP. First we show how algebraic laws can systematically reduce all finite CSP terms to a head normal form, and therefore create an Algebraic Operational Semantics. Then we show how to reduce this to a normal form for the finest CSP model as developed in Chap. 12. We can then show how a small selection of optional laws such as (P=Pmathbin{Box}P) allow this normal form to be transformed into normal forms for any of the main models of CSP. This provides an elegant explanation for why the hierarchy of models developed in the previous two chapters is as it is." @default.
- W75921630 created "2016-06-24" @default.
- W75921630 creator A5045639409 @default.
- W75921630 date "2010-01-01" @default.
- W75921630 modified "2023-09-28" @default.
- W75921630 title "The Algebra of CSP" @default.
- W75921630 cites W1972478730 @default.
- W75921630 cites W2126815079 @default.
- W75921630 cites W2137865376 @default.
- W75921630 cites W2158942489 @default.
- W75921630 cites W4212811695 @default.
- W75921630 cites W4251097190 @default.
- W75921630 doi "https://doi.org/10.1007/978-1-84882-258-0_13" @default.
- W75921630 hasPublicationYear "2010" @default.
- W75921630 type Work @default.
- W75921630 sameAs 75921630 @default.
- W75921630 citedByCount "0" @default.
- W75921630 crossrefType "book-chapter" @default.
- W75921630 hasAuthorship W75921630A5045639409 @default.
- W75921630 hasConcept C116253237 @default.
- W75921630 hasConcept C118615104 @default.
- W75921630 hasConcept C134306372 @default.
- W75921630 hasConcept C136003732 @default.
- W75921630 hasConcept C136119220 @default.
- W75921630 hasConcept C154945302 @default.
- W75921630 hasConcept C156325763 @default.
- W75921630 hasConcept C17744445 @default.
- W75921630 hasConcept C184337299 @default.
- W75921630 hasConcept C199360897 @default.
- W75921630 hasConcept C199539241 @default.
- W75921630 hasConcept C202444582 @default.
- W75921630 hasConcept C206470798 @default.
- W75921630 hasConcept C2777691520 @default.
- W75921630 hasConcept C2779729104 @default.
- W75921630 hasConcept C31170391 @default.
- W75921630 hasConcept C33923547 @default.
- W75921630 hasConcept C41008148 @default.
- W75921630 hasConcept C81917197 @default.
- W75921630 hasConcept C9376300 @default.
- W75921630 hasConceptScore W75921630C116253237 @default.
- W75921630 hasConceptScore W75921630C118615104 @default.
- W75921630 hasConceptScore W75921630C134306372 @default.
- W75921630 hasConceptScore W75921630C136003732 @default.
- W75921630 hasConceptScore W75921630C136119220 @default.
- W75921630 hasConceptScore W75921630C154945302 @default.
- W75921630 hasConceptScore W75921630C156325763 @default.
- W75921630 hasConceptScore W75921630C17744445 @default.
- W75921630 hasConceptScore W75921630C184337299 @default.
- W75921630 hasConceptScore W75921630C199360897 @default.
- W75921630 hasConceptScore W75921630C199539241 @default.
- W75921630 hasConceptScore W75921630C202444582 @default.
- W75921630 hasConceptScore W75921630C206470798 @default.
- W75921630 hasConceptScore W75921630C2777691520 @default.
- W75921630 hasConceptScore W75921630C2779729104 @default.
- W75921630 hasConceptScore W75921630C31170391 @default.
- W75921630 hasConceptScore W75921630C33923547 @default.
- W75921630 hasConceptScore W75921630C41008148 @default.
- W75921630 hasConceptScore W75921630C81917197 @default.
- W75921630 hasConceptScore W75921630C9376300 @default.
- W75921630 hasLocation W759216301 @default.
- W75921630 hasOpenAccess W75921630 @default.
- W75921630 hasPrimaryLocation W759216301 @default.
- W75921630 hasRelatedWork W1481654441 @default.
- W75921630 hasRelatedWork W1525238445 @default.
- W75921630 hasRelatedWork W1588871418 @default.
- W75921630 hasRelatedWork W159258052 @default.
- W75921630 hasRelatedWork W1594901485 @default.
- W75921630 hasRelatedWork W1667454546 @default.
- W75921630 hasRelatedWork W1964840612 @default.
- W75921630 hasRelatedWork W1968752495 @default.
- W75921630 hasRelatedWork W1970554275 @default.
- W75921630 hasRelatedWork W2017125301 @default.
- W75921630 hasRelatedWork W2017264764 @default.
- W75921630 hasRelatedWork W2030096232 @default.
- W75921630 hasRelatedWork W2050077054 @default.
- W75921630 hasRelatedWork W2097344379 @default.
- W75921630 hasRelatedWork W2161668260 @default.
- W75921630 hasRelatedWork W2165337084 @default.
- W75921630 hasRelatedWork W2255064054 @default.
- W75921630 hasRelatedWork W2293797630 @default.
- W75921630 hasRelatedWork W2949656348 @default.
- W75921630 hasRelatedWork W3157588172 @default.
- W75921630 isParatext "false" @default.
- W75921630 isRetracted "false" @default.
- W75921630 magId "75921630" @default.
- W75921630 workType "book-chapter" @default.