## Process Logic: Expressiveness, Decidability, Completeness (1982)

by
David Harel
,
Dexter Kozen
,
Rohit Parikh

Citations: | 40 - 1 self |

### BibTeX

@MISC{Harel82processlogic:,

author = {David Harel and Dexter Kozen and Rohit Parikh},

title = {Process Logic: Expressiveness, Decidability, Completeness},

year = {1982}

}

### Years of Citing Articles

### OpenURL

### Abstract

this paper have natural algebraic and topological interpretations: Let L be the Boolean algebra of formulas of PL modulo the PL axioms of Section 4, and let rim= {nXlXe Z}, fL=/fXlXe m }