Process logic: Expressiveness, decidability, completeness
- David Harel
- Dexter Kozen
- et al.
- 1982
- Journal of Computer and System Sciences
Publications
Date
Featured collections
Popular topics
16 results for David Harel
Structure and complexity of relational queries
- Ashok Chandra
- David Harel
- 1982
- Journal of Computer and System Sciences
On the total correctness of nondeterministic programs
- David Harel
- 1981
- Theoretical Computer Science
Proving the correctness of regular deterministic programs: A unifying survey using dynamic logic
- David Harel
- 1980
- Theoretical Computer Science
Computable queries for relational data bases
- Ashok K. chandra
- David Harel
- 1980
- Journal of Computer and System Sciences
Two results on process logic
- David Harel
- 1979
- Information Processing Letters