An algebraic generalization of Kripke structures.

Mon, 01 Jan 2007 00:00:00 +0100

Sérgio Marcelino, Pedro Resende:
An algebraic generalization of Kripke structures. CoRR abs/0704.1886 (2007)