Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

FLEA


Citation: Rix Groenboom and Gerard Renardel del Lavalette, "A Formalization of Evolving Algebras", in Proceedings of Accolade95 (Dutch Research School in Logic), 1995.
Summary: The authors present the syntax and semantics for a Formal Language for Evolving Algebra (FLEA). (ASMs were formerly known as "evolving algebras".) This language is then extended to a multi-modal language FLEA' and it is sketched how to transfer the axioms of the logic MLCM to FLEA'. (MLCM is a Modal Logic of Creation and Modification based on QDL as presented by Harel.)
Subjects: ASM Extensions
Download: PostScript, PDF, Compressed PostScript
Notes: