LCS Technical Memos (1974 - 2003): Recent submissions
Now showing items 382-384 of 486
-
Applications of Modal Logic to Programming
(1978-12)The modal logician's notion of possible world and the computer scientist's notion of state of a machine provide a point of commonality which can form the foundation of a logic of action. Extending ordinary modal logic with ... -
Concurrent Programming
(1978-10) -
Research Directions in Computer Architecture
(1978-09)
