matrix product / arbitrary software systems / non-deterministic systems / parallel software applications / software behavior / software developers / dynamical systems / human-built digital computer systems / web server / computing / preemptive operating systems / /
On system rollback and totalised fields An algebraic approach to system change Mark Burgess and Alva Couch 20th June 2011 This paper is dedicated to Jan Bergstra on the occasion of his 60th birthday.