Process logic: Expressiveness, decidability, completeness (1983)

by D Harel, A Pnueli, Y Stavi
Venue:Journal of Computer and System Sciences