Matches in SemOpenAlex for { <https://semopenalex.org/work/W2099683378> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2099683378 endingPage "577" @default.
- W2099683378 startingPage "557" @default.
- W2099683378 abstract "The failures-divergences model for CSP is usually presented with the refinement order being the one used for fixed points in the semantics of recursion. The requirement that this order be complete means that the model needs a compactness axiom closely related to an assumption of finite non-determinism. We show that a second and stronger order exists which does not need compactness to make it complete, but which gives exactly the same least fixed points as the refinement order. The new order allows us to prove some new results about the semantics, and to justify versions of recursion induction. In pursuit of this last topic we develop various topologies over the model." @default.
- W2099683378 created "2016-06-24" @default.
- W2099683378 creator A5045639409 @default.
- W2099683378 date "1992-01-01" @default.
- W2099683378 modified "2023-09-28" @default.
- W2099683378 title "An Alternative Order for the Failures Model" @default.
- W2099683378 doi "https://doi.org/10.1093/logcom/2.5.557" @default.
- W2099683378 hasPublicationYear "1992" @default.
- W2099683378 type Work @default.
- W2099683378 sameAs 2099683378 @default.
- W2099683378 citedByCount "22" @default.
- W2099683378 countsByYear W20996833782014 @default.
- W2099683378 countsByYear W20996833782015 @default.
- W2099683378 countsByYear W20996833782017 @default.
- W2099683378 countsByYear W20996833782018 @default.
- W2099683378 countsByYear W20996833782020 @default.
- W2099683378 crossrefType "journal-article" @default.
- W2099683378 hasAuthorship W2099683378A5045639409 @default.
- W2099683378 hasConcept C10138342 @default.
- W2099683378 hasConcept C111472728 @default.
- W2099683378 hasConcept C11413529 @default.
- W2099683378 hasConcept C136119220 @default.
- W2099683378 hasConcept C138885662 @default.
- W2099683378 hasConcept C162324750 @default.
- W2099683378 hasConcept C167729594 @default.
- W2099683378 hasConcept C168773036 @default.
- W2099683378 hasConcept C182306322 @default.
- W2099683378 hasConcept C184337299 @default.
- W2099683378 hasConcept C18648836 @default.
- W2099683378 hasConcept C192183473 @default.
- W2099683378 hasConcept C199360897 @default.
- W2099683378 hasConcept C202444582 @default.
- W2099683378 hasConcept C2524010 @default.
- W2099683378 hasConcept C33923547 @default.
- W2099683378 hasConcept C41008148 @default.
- W2099683378 hasConcept C80444323 @default.
- W2099683378 hasConceptScore W2099683378C10138342 @default.
- W2099683378 hasConceptScore W2099683378C111472728 @default.
- W2099683378 hasConceptScore W2099683378C11413529 @default.
- W2099683378 hasConceptScore W2099683378C136119220 @default.
- W2099683378 hasConceptScore W2099683378C138885662 @default.
- W2099683378 hasConceptScore W2099683378C162324750 @default.
- W2099683378 hasConceptScore W2099683378C167729594 @default.
- W2099683378 hasConceptScore W2099683378C168773036 @default.
- W2099683378 hasConceptScore W2099683378C182306322 @default.
- W2099683378 hasConceptScore W2099683378C184337299 @default.
- W2099683378 hasConceptScore W2099683378C18648836 @default.
- W2099683378 hasConceptScore W2099683378C192183473 @default.
- W2099683378 hasConceptScore W2099683378C199360897 @default.
- W2099683378 hasConceptScore W2099683378C202444582 @default.
- W2099683378 hasConceptScore W2099683378C2524010 @default.
- W2099683378 hasConceptScore W2099683378C33923547 @default.
- W2099683378 hasConceptScore W2099683378C41008148 @default.
- W2099683378 hasConceptScore W2099683378C80444323 @default.
- W2099683378 hasIssue "5" @default.
- W2099683378 hasLocation W20996833781 @default.
- W2099683378 hasOpenAccess W2099683378 @default.
- W2099683378 hasPrimaryLocation W20996833781 @default.
- W2099683378 hasRelatedWork W1485291455 @default.
- W2099683378 hasRelatedWork W1566713756 @default.
- W2099683378 hasRelatedWork W1736113712 @default.
- W2099683378 hasRelatedWork W2012588840 @default.
- W2099683378 hasRelatedWork W2058503879 @default.
- W2099683378 hasRelatedWork W2067026386 @default.
- W2099683378 hasRelatedWork W2373660481 @default.
- W2099683378 hasRelatedWork W2388062429 @default.
- W2099683378 hasRelatedWork W3037159123 @default.
- W2099683378 hasRelatedWork W3081794112 @default.
- W2099683378 hasVolume "2" @default.
- W2099683378 isParatext "false" @default.
- W2099683378 isRetracted "false" @default.
- W2099683378 magId "2099683378" @default.
- W2099683378 workType "article" @default.