Sequential calculus

22Citations
Citations of this article
6Readers
Mendeley users who have this article in their library.
Get full text

Abstract

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.

Cite

CITATION STYLE

APA

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

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free