This paper presents an algebraic calculus like the relational calculus for reasoning about sequential phenomena. It provides a common foundation for several proposed models of concurrent or reactive systems. It is clearly differentiated from the relational calculus by absence of a general converse operation. This permits the treatment of temporal logic within the sequential calculus. © 1995.
von Karger, B., & Hoare, C. A. R. (1995). Sequential calculus. Information Processing Letters, 53(3), 123–130. https://doi.org/10.1016/0020-0190(94)00205-D