Algebras of modal operators and partial correctness

Systematic design of program analysis frameworks

Patrick Cousot, Radhia Cousot · 1979 · 1.6K citations · Full text

Computing, Computer Engineering, Computer Science +15

Boolean Algebras with Operators

Bjarni Jonnson, Alfred Tarski · American Journal of Mathematics · 1952 · 764 citations

Natural Sciences, Computer Science, Mathematics +8

Boolean Algebras with Operators. Part I

Bjàrni Jónsson, Alfred Tarski · American Journal of Mathematics · 1951 · 757 citations

Natural Sciences, Computer Science, Mathematics +10

A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events

Dexter Kozen · Information and Computation · 1994 · 632 citations · Full text

Natural Sciences, Computer Science, Mathematics +13

Kleene algebra with tests

Dexter Kozen · ACM Transactions on Programming Languages and Systems · 1997 · 522 citations · Full text

Computing, Computer Science, Mathematics +13