Matches in SemOpenAlex for { <https://semopenalex.org/work/W2469429319> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W2469429319 endingPage "52" @default.
- W2469429319 startingPage "52" @default.
- W2469429319 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.
- W2469429319 created "2016-07-22" @default.
- W2469429319 creator A5048606079 @default.
- W2469429319 date "1980-11-01" @default.
- W2469429319 modified "2023-09-23" @default.
- W2469429319 title "Consumer Testing of a Prototype PPI" @default.
- W2469429319 doi "https://doi.org/10.1016/s0160-3450(16)31163-1" @default.
- W2469429319 hasPubMedId "https://pubmed.ncbi.nlm.nih.gov/7457351" @default.
- W2469429319 hasPublicationYear "1980" @default.
- W2469429319 type Work @default.
- W2469429319 sameAs 2469429319 @default.
- W2469429319 citedByCount "0" @default.
- W2469429319 crossrefType "journal-article" @default.
- W2469429319 hasAuthorship W2469429319A5048606079 @default.
- W2469429319 hasConcept C111472728 @default.
- W2469429319 hasConcept C124304363 @default.
- W2469429319 hasConcept C136119220 @default.
- W2469429319 hasConcept C138885662 @default.
- W2469429319 hasConcept C151730666 @default.
- W2469429319 hasConcept C161771561 @default.
- W2469429319 hasConcept C184337299 @default.
- W2469429319 hasConcept C199360897 @default.
- W2469429319 hasConcept C202444582 @default.
- W2469429319 hasConcept C207390915 @default.
- W2469429319 hasConcept C2778029271 @default.
- W2469429319 hasConcept C2779343474 @default.
- W2469429319 hasConcept C2780154230 @default.
- W2469429319 hasConcept C2780432614 @default.
- W2469429319 hasConcept C33923547 @default.
- W2469429319 hasConcept C41008148 @default.
- W2469429319 hasConcept C41895202 @default.
- W2469429319 hasConcept C86803240 @default.
- W2469429319 hasConceptScore W2469429319C111472728 @default.
- W2469429319 hasConceptScore W2469429319C124304363 @default.
- W2469429319 hasConceptScore W2469429319C136119220 @default.
- W2469429319 hasConceptScore W2469429319C138885662 @default.
- W2469429319 hasConceptScore W2469429319C151730666 @default.
- W2469429319 hasConceptScore W2469429319C161771561 @default.
- W2469429319 hasConceptScore W2469429319C184337299 @default.
- W2469429319 hasConceptScore W2469429319C199360897 @default.
- W2469429319 hasConceptScore W2469429319C202444582 @default.
- W2469429319 hasConceptScore W2469429319C207390915 @default.
- W2469429319 hasConceptScore W2469429319C2778029271 @default.
- W2469429319 hasConceptScore W2469429319C2779343474 @default.
- W2469429319 hasConceptScore W2469429319C2780154230 @default.
- W2469429319 hasConceptScore W2469429319C2780432614 @default.
- W2469429319 hasConceptScore W2469429319C33923547 @default.
- W2469429319 hasConceptScore W2469429319C41008148 @default.
- W2469429319 hasConceptScore W2469429319C41895202 @default.
- W2469429319 hasConceptScore W2469429319C86803240 @default.
- W2469429319 hasIssue "11" @default.
- W2469429319 hasLocation W24694293191 @default.
- W2469429319 hasLocation W24694293192 @default.
- W2469429319 hasOpenAccess W2469429319 @default.
- W2469429319 hasPrimaryLocation W24694293191 @default.
- W2469429319 hasRelatedWork W1565338810 @default.
- W2469429319 hasRelatedWork W1855927527 @default.
- W2469429319 hasRelatedWork W1906944391 @default.
- W2469429319 hasRelatedWork W2047793074 @default.
- W2469429319 hasRelatedWork W2119988614 @default.
- W2469429319 hasRelatedWork W2121936893 @default.
- W2469429319 hasRelatedWork W2896734676 @default.
- W2469429319 hasRelatedWork W3160136729 @default.
- W2469429319 hasRelatedWork W4243809462 @default.
- W2469429319 hasRelatedWork W4250918063 @default.
- W2469429319 hasVolume "20" @default.
- W2469429319 isParatext "false" @default.
- W2469429319 isRetracted "false" @default.
- W2469429319 magId "2469429319" @default.
- W2469429319 workType "article" @default.