Sequential calculus

  • von Karger B
  • Hoare C
  • 2

    Readers

    Mendeley users who have this article in their library.
  • 22

    Citations

    Citations of this article.

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.

Author-supplied keywords

  • Programming calculi
  • Real-time systems
  • Specification languages

Get free article suggestions today

Mendeley saves you time finding and organizing research

Sign up here
Already have an account ?Sign in

Find this document

Authors

  • Burghard von Karger

  • C. A R Hoare

Cite this document

Choose a citation style from the tabs below

Save time finding and organizing research with Mendeley

Sign up for free