LCS Technical Memos (1974 - 2003): Recent submissions
Now showing items 340-342 of 486
-
Dynamic Algebras and the Nature of Induction
(1980-03)Dynamic algebras constitute the variety (equationally defined class) of models of the Segerberg axioms for propositional dynamic logic. We obtrain the following results (to within inseparability). (i) In any dynamic algebra ... -
Semaphore Primitives and Starvation-free Mutual Exclusion
(1980-03)Most discussions of semaphore primitives in the literature provide only an informal description of their behavior, rather than a more precissde definition. These informal descriptions may be incorrect, incomplete, or subject ... -
On the Expressive Power of Dynamic Logic
(1980-02)We show that "looping" of while-programs can be expressed in Regular First Order Dynamic Logic, disproving a conjecture made by Harel and Pratt. In addition we show that the expressive power of quantifier-free Dynamic Logic ...
