Process logic: Expressiveness, decidability, completeness (1982)

by D Harel, D Kozen, R Parikh
Venue:Journal of Computer and Systems Sciences