Expecting the unexpected: Developing autonomous-system design principles for reacting to unpredicted events and conditions
- Assaf Marron
- Lior Limonad
- et al.
- 2020
- SEAMS 2020
Publications
Date
Featured collections
Popular topics
16 results for David Harel
Towards behavioral programming in distributed architectures
- David Harel
- Amir Kantor
- et al.
- 2015
- Science of Computer Programming
Horn clauses and the fixpoint query hierarchy
- Ashok K. Chandra
- David Harel
- 1982
- SIGMOD/PODS 1982
Structure and complexity of relational queries
- Ashok Chandra
- David Harel
- 1982
- Journal of Computer and System Sciences
Process logic: Expressiveness, decidability, completeness
- David Harel
- Dexter Kozen
- et al.
- 1982
- Journal of Computer and System Sciences
On the total correctness of nondeterministic programs
- David Harel
- 1981
- Theoretical Computer Science
Structure and complexity of relational queries
- Ashok K. Chandra
- David Harel
- 1980
- FOCS 1980
Process logic: Expressiveness, decidability, completeness
- David Harel
- Dexter Kozen
- et al.
- 1980
- FOCS 1980
On Folk Theorems
- David Harel
- 1980
- CACM
“do considered od” considered odder than “do considered ob”
- David Harel
- 1980
- ACM SIGPLAN Notices