David Harel
ACM Transactions on Programming Languages and Systems (TOPLAS)
Paper
“do considered od” considered odder than “do considered ob”
Abstract
No abstract available.
Related
David Harel, Amir Kantor, et al.
Science of Computer Programming
David Harel
Information Processing Letters
Conference paper
Process logic: Expressiveness, decidability, completeness
David Harel, Dexter Kozen, et al.
FOCS 1980