FRINK Linked Data Fragments server

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

• W3037857589 abstract "In the formal modelling of systems, demonic and angelic nondeterminism play fundamental roles as abstraction mechanisms. The angelic nature of a choice pertains to the property of avoiding failure whenever possible. As a concept, angelic choice first appeared in automata theory and Turing machines, where it can be implemented via backtracking. It has traditionally been studied in the refinement calculus, and has proved to be useful in a variety of applications and refinement techniques. Recently it has been studied within relational, multirelational and higher-order models. It has been employed for modelling user interactions, game-like scenarios, theorem proving tactics, constraint satisfaction problems and control systems. When the formal modelling of state-rich reactive systems is considered, it only seems natural that both types of nondeterministic choice should be considered. However, despite several treatments of angelic nondeterminism in the context of process algebras, namely Communicating Sequential Processes, the counterpart to the angelic choice of the refinement calculus has been elusive. In this thesis, we develop a semantics in the relational setting of Hoare and He's Unifying Theories of Programming that enables the characterisation of angelic nondeterminism in CSP. Since CSP processes are given semantics in the UTP via designs, that is, pre and postcondition pairs, we first introduce a theory of angelic designs, and an isomorphic multirelational model, that is suitable for characterising processes. We then develop a theory of reactive angelic designs by enforcing the healthiness conditions of CSP. Finally, by introducing a notion of divergence that can undo the history of events, we obtain a model where angelic choice avoids divergence." @default.
• W3037857589 created "2020-07-02" @default.
• W3037857589 creator A5016094821 @default.
• W3037857589 date "2015-05-18" @default.
• W3037857589 modified "2023-09-27" @default.
• W3037857589 title "Angelic Processes" @default.
• W3037857589 cites W1164721860 @default.
• W3037857589 cites W121250562 @default.
• W3037857589 cites W126787391 @default.
• W3037857589 cites W134026565 @default.
• W3037857589 cites W1437270859 @default.
• W3037857589 cites W1503973138 @default.
• W3037857589 cites W1514488489 @default.
• W3037857589 cites W1524272918 @default.
• W3037857589 cites W1547789789 @default.
• W3037857589 cites W1558939391 @default.
• W3037857589 cites W1559958463 @default.
• W3037857589 cites W1563518944 @default.
• W3037857589 cites W1579044745 @default.
• W3037857589 cites W1588335385 @default.
• W3037857589 cites W1608417961 @default.
• W3037857589 cites W1651364691 @default.
• W3037857589 cites W1779368531 @default.
• W3037857589 cites W1858743739 @default.
• W3037857589 cites W1882160752 @default.
• W3037857589 cites W1897172885 @default.
• W3037857589 cites W1900491454 @default.
• W3037857589 cites W1970495662 @default.
• W3037857589 cites W1970672922 @default.
• W3037857589 cites W1973316014 @default.
• W3037857589 cites W1982581840 @default.
• W3037857589 cites W1999807337 @default.
• W3037857589 cites W2011444209 @default.
• W3037857589 cites W2031356495 @default.
• W3037857589 cites W2036265926 @default.
• W3037857589 cites W2036502249 @default.
• W3037857589 cites W2041169043 @default.
• W3037857589 cites W2051716679 @default.
• W3037857589 cites W2053254056 @default.
• W3037857589 cites W2054801208 @default.
• W3037857589 cites W2066210260 @default.
• W3037857589 cites W2069300761 @default.
• W3037857589 cites W2071777293 @default.
• W3037857589 cites W2073708948 @default.
• W3037857589 cites W2074794556 @default.
• W3037857589 cites W2077325003 @default.
• W3037857589 cites W2078065240 @default.
• W3037857589 cites W2080441874 @default.
• W3037857589 cites W2087713039 @default.
• W3037857589 cites W2095783673 @default.
• W3037857589 cites W2097204570 @default.
• W3037857589 cites W2102097307 @default.
• W3037857589 cites W2110425399 @default.
• W3037857589 cites W2118229393 @default.
• W3037857589 cites W2123443277 @default.
• W3037857589 cites W2124209077 @default.
• W3037857589 cites W2136481787 @default.
• W3037857589 cites W2140919105 @default.
• W3037857589 cites W2144973245 @default.
• W3037857589 cites W2145504432 @default.
• W3037857589 cites W2158942489 @default.
• W3037857589 cites W2160613322 @default.
• W3037857589 cites W2209863624 @default.
• W3037857589 cites W22595608 @default.
• W3037857589 cites W2292996153 @default.
• W3037857589 cites W253313048 @default.
• W3037857589 cites W277181552 @default.
• W3037857589 cites W3144368627 @default.
• W3037857589 cites W3146075203 @default.
• W3037857589 cites W43811100 @default.
• W3037857589 cites W1999868993 @default.
• W3037857589 cites W2205741543 @default.
• W3037857589 cites W2479711560 @default.
• W3037857589 cites W2794188275 @default.
• W3037857589 cites W3142790043 @default.
• W3037857589 cites W3185910042 @default.
• W3037857589 hasPublicationYear "2015" @default.
• W3037857589 type Work @default.
• W3037857589 sameAs 3037857589 @default.
• W3037857589 citedByCount "0" @default.
• W3037857589 crossrefType "posted-content" @default.
• W3037857589 hasAuthorship W3037857589A5016094821 @default.
• W3037857589 hasConcept C111472728 @default.
• W3037857589 hasConcept C124304363 @default.
• W3037857589 hasConcept C138885662 @default.
• W3037857589 hasConcept C151730666 @default.
• W3037857589 hasConcept C161771561 @default.
• W3037857589 hasConcept C176181172 @default.
• W3037857589 hasConcept C184337299 @default.
• W3037857589 hasConcept C199360897 @default.
• W3037857589 hasConcept C2779343474 @default.
• W3037857589 hasConcept C41008148 @default.
• W3037857589 hasConcept C80444323 @default.
• W3037857589 hasConcept C86803240 @default.
• W3037857589 hasConceptScore W3037857589C111472728 @default.
• W3037857589 hasConceptScore W3037857589C124304363 @default.
• W3037857589 hasConceptScore W3037857589C138885662 @default.
• W3037857589 hasConceptScore W3037857589C151730666 @default.
• W3037857589 hasConceptScore W3037857589C161771561 @default.
• W3037857589 hasConceptScore W3037857589C176181172 @default.

• next