Browsing by Author "Stokes, Tim E."

Now showing items 1-5 of 30

  • A note on steady flow into a submerged point sink

    Hocking, Graeme Charles; Forbes, Lawrence K.; Stokes, Tim E. (Cambridge University Press, 2014)
    The steady, axisymmetric flow induced by a point sink (or source) submerged in an unbounded inviscid fluid is computed. The resulting deformation of the free surface is obtained, and a limit of steady solutions is found ...
  • Agreeable semigroups

    Jackson, Marcel; Stokes, Tim E. (Academic Press, 2003)
    This paper concerns the theory of partial maps under composition and more generally, the RC-semigroups introduced by Jackson and Stokes [Semigroup Forum 62 (2001) 279–310] (semigroups with a unary operation called (right) ...
  • Algebraic properties of If-Then-Else and commutative three-valued tests

    Soo, Khi-Ui; Stokes, Tim E. (2019)
    This paper establishes a finite axiomatization of possibly non-halting computer programs and tests, with the if-then-else operation. The model is a two-sorted algebra, with one sort being the programs and the other being ...
  • Axioms for function semigroups with agreement quasi-order

    Stokes, Tim E. (Springer, 2011)
    The agreement quasi-order on pairs of (partial) transformations on a set X is defined as follows: (f, g) ≼ (h, k) if whenever f, g are defined and agree, so do h, k. We axiomatize function semigroups and monoids equipped ...
  • Comparison semigroups and algebras of transformations

    Stokes, Tim E. (Springer, 2010)
    We characterize algebras of transformations on a set under the operations of composition and the pointwise switching function defined as follows: (f,g)[h,k](x)=h(x) if f(x)=g(x), and k(x) otherwise. The resulting algebras ...