Semantics of Looping Programs in Propositional Dynamic Logic

Francine Berman. Semantics of Looping Programs in Propositional Dynamic Logic. Theory Comput. Syst., 15(4):285-294, 1982.

Authors

Francine Berman

This author has not been identified. Look up 'Francine Berman' in Google