Matches in SemOpenAlex for { <https://semopenalex.org/work/W4243809462> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W4243809462 endingPage "7" @default.
- W4243809462 startingPage "7" @default.
- W4243809462 abstract "Demonic and angelic nondeterminism play fundamental roles as abstraction mechanisms for formal modelling. In contrast with its demonic counterpart, in an angelic choice failure is avoided whenever possible. Although it has been extensively studied in refinement calculi, in the context of process algebras, and of the Communicating Sequential Processes (CSP) algebra for refinement, in particular, it has been elusive. We show here that a semantics for an extended version of CSP that includes both demonic and angelic choice can be provided using Hoare and He's Unifying Theories of Programming (UTP). Since CSP is given semantics in the UTP via reactive designs (pre and postcondition pairs) we have developed a theory of angelic designs and a conservative extension of the CSP theory using reactive angelic designs. To characterise angelic nondeterminism appropriately in an algebra of processes, however, a notion of divergence that can undo the history of events needs to be considered. Taking this view, we present a model for CSP where angelic choice completely avoids divergence just like in the refinement calculi for sequential programs." @default.
- W4243809462 created "2022-05-12" @default.
- W4243809462 date "2006-08-01" @default.
- W4243809462 modified "2023-10-17" @default.
- W4243809462 title "Prices increase across a wide range of additive products" @default.
- W4243809462 doi "https://doi.org/10.1016/s0306-3747(06)70628-5" @default.
- W4243809462 hasPublicationYear "2006" @default.
- W4243809462 type Work @default.
- W4243809462 citedByCount "0" @default.
- W4243809462 crossrefType "journal-article" @default.
- W4243809462 hasConcept C111472728 @default.
- W4243809462 hasConcept C124304363 @default.
- W4243809462 hasConcept C136119220 @default.
- W4243809462 hasConcept C138885662 @default.
- W4243809462 hasConcept C151730666 @default.
- W4243809462 hasConcept C161771561 @default.
- W4243809462 hasConcept C184337299 @default.
- W4243809462 hasConcept C199360897 @default.
- W4243809462 hasConcept C202444582 @default.
- W4243809462 hasConcept C207390915 @default.
- W4243809462 hasConcept C2778029271 @default.
- W4243809462 hasConcept C2779343474 @default.
- W4243809462 hasConcept C2780154230 @default.
- W4243809462 hasConcept C2780432614 @default.
- W4243809462 hasConcept C33923547 @default.
- W4243809462 hasConcept C41008148 @default.
- W4243809462 hasConcept C41895202 @default.
- W4243809462 hasConcept C80444323 @default.
- W4243809462 hasConcept C86803240 @default.
- W4243809462 hasConceptScore W4243809462C111472728 @default.
- W4243809462 hasConceptScore W4243809462C124304363 @default.
- W4243809462 hasConceptScore W4243809462C136119220 @default.
- W4243809462 hasConceptScore W4243809462C138885662 @default.
- W4243809462 hasConceptScore W4243809462C151730666 @default.
- W4243809462 hasConceptScore W4243809462C161771561 @default.
- W4243809462 hasConceptScore W4243809462C184337299 @default.
- W4243809462 hasConceptScore W4243809462C199360897 @default.
- W4243809462 hasConceptScore W4243809462C202444582 @default.
- W4243809462 hasConceptScore W4243809462C207390915 @default.
- W4243809462 hasConceptScore W4243809462C2778029271 @default.
- W4243809462 hasConceptScore W4243809462C2779343474 @default.
- W4243809462 hasConceptScore W4243809462C2780154230 @default.
- W4243809462 hasConceptScore W4243809462C2780432614 @default.
- W4243809462 hasConceptScore W4243809462C33923547 @default.
- W4243809462 hasConceptScore W4243809462C41008148 @default.
- W4243809462 hasConceptScore W4243809462C41895202 @default.
- W4243809462 hasConceptScore W4243809462C80444323 @default.
- W4243809462 hasConceptScore W4243809462C86803240 @default.
- W4243809462 hasIssue "8" @default.
- W4243809462 hasLocation W42438094621 @default.
- W4243809462 hasOpenAccess W4243809462 @default.
- W4243809462 hasPrimaryLocation W42438094621 @default.
- W4243809462 hasRelatedWork W1565338810 @default.
- W4243809462 hasRelatedWork W1591301196 @default.
- W4243809462 hasRelatedWork W1778728081 @default.
- W4243809462 hasRelatedWork W1906944391 @default.
- W4243809462 hasRelatedWork W2119988614 @default.
- W4243809462 hasRelatedWork W2121936893 @default.
- W4243809462 hasRelatedWork W2135048208 @default.
- W4243809462 hasRelatedWork W3115181000 @default.
- W4243809462 hasRelatedWork W3160136729 @default.
- W4243809462 hasRelatedWork W4250918063 @default.
- W4243809462 hasVolume "2006" @default.
- W4243809462 isParatext "false" @default.
- W4243809462 isRetracted "false" @default.
- W4243809462 workType "article" @default.