Browsing by Author "Stokes, Tim E."
Now showing items 15 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 RCsemigroups introduced by Jackson and Stokes [Semigroup Forum 62 (2001) 279–310] (semigroups with a unary operation called (right) ... 
Algebraic properties of IfThenElse and commutative threevalued tests
Soo, KhiUi; Stokes, Tim E. (2019)This paper establishes a finite axiomatization of possibly nonhalting computer programs and tests, with the ifthenelse operation. The model is a twosorted algebra, with one sort being the programs and the other being ... 
Axioms for function semigroups with agreement quasiorder
Stokes, Tim E. (Springer, 2011)The agreement quasiorder 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 ...