Propositional Dynamic Logic of Flowcharts.

David Harel, Rivi Sherman

Browse the full FCT paper archive.