Order:
  1.  11
    Algebra of Non-deterministic Programs: Demonic Operations, Orders and Axioms.Robin Hirsch, Szabolcs Mikulás & Tim Stokes - 2022 - Logic Journal of the IGPL 30 (5):886-906.
    Demonic composition, demonic refinement and demonic union are alternatives to the usual ‘angelic’ composition, angelic refinement (inclusion) and angelic (usual) union defined on binary relations. We first motivate both the angelic and the demonic via an analysis of the behaviour of non-deterministic programs, with the angelic associated with partial correctness and demonic with total correctness, both cases emerging from a richer algebraic model of non-deterministic programs incorporating both aspects. Zareckiĭ has shown that the isomorphism class of algebras of binary relations (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  8
    Restriction in Program Algebra.Marcel Jackson & Tim Stokes - 2023 - Logic Journal of the IGPL 31 (5):926-960.
    We provide complete classifications of algebras of partial maps for a significant swathe of combinations of operations not previously classified. Our focus is the many subsidiary operations that arise in recent considerations of the ‘override’ and ‘update’ operations arising in specification languages. These other operations turn out to have an older pedigree: domain restriction, set subtraction and intersection. All signatures considered include domain restriction, at least as a term. Combinations of the operations are classified and given complete axiomatizations with and (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3. Creating sustainable health care systems: Agreeing social (societal) priorities through public participation.Peter Littlejohns, Katharina Kieslich, Albert Weale, Emma Tumilty, Georgina Richardson, Tim Stokes, Robin Gauld & Paul Scuffham - 2019 - Journal of Health Organization and Management 1 (33):18-34.
    In order to create sustainable health systems, many countries are introducing ways to prioritize health services underpinned by a process of health technology assessment. While this approach requires technical judgments of clinical effectiveness and cost-effectiveness, these are embedded in a wider set of social (societal) value judgments, including fairness, responsiveness to need, non-discrimination and obligations of accountability and transparency. Implementing controversial decisions faces legal, political and public challenge. To help generate acceptance for the need for health prioritization and the resulting (...)
     
    Export citation  
     
    Bookmark