Conference paper
Process logic: Expressiveness, decidability, completeness
David Harel, Dexter Kozen, et al.
FOCS 1980
David Harel, Dexter Kozen, et al.
FOCS 1980
David Harel
Theoretical Computer Science
Ashok Chandra, David Harel
Journal of Computer and System Sciences
Ashok K. Chandra, David Harel
FOCS 1980