Conference paper
Process logic: Expressiveness, decidability, completeness
David Harel, Dexter Kozen, et al.
FOCS 1980
Paper
“do considered od” considered odder than “do considered ob”
Abstract
No abstract available.
Related
Conference paper
Structure and complexity of relational queries
Ashok K. Chandra, David Harel
FOCS 1980
Assaf Marron, Lior Limonad, et al.
SEAMS 2020
David Harel
Information Processing Letters