Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

Abstract State Machines: Remembering Dean Rosenzweig


Dean Rosenzweig, a key contributor to the early days of ASM research, passed away at the beginning of January 2007. Below are links to a couple of tributes to Dean written shortly after Dean's death: