Dealing with different time granularities in formal specifications of real-time systems

The Logic of Scientific Discovery.

T. W. Hutchison, Karl R. Popper · Economica · 1959 · 7.6K citations

Humanities, Philosophy, Contemporary Philosophy +13

The psychology of computer vision

Azriel Rosenfeld · Artificial Intelligence · 1976 · 3K citations

Computing, Computer Science, Psychology +12

A Taxonomy of Part‐Whole Relations

Morton Winston, Roger Chaffin, Douglas J. Herrmann · Cognitive Science · 1987 · 876 citations

Language Studies, Linguistics, Morphology +8

The temporal semantics of concurrent programs

Amir Pnueli · Theoretical Computer Science · 1981 · 701 citations

Computing, Computer Science, Computer Systems +14

Temporal logic can be more expressive

Pierre Wolper · Information and Control · 1983 · 658 citations

Humanities, Computer Science, Formal Methods +11