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:

[an error occurred while processing this directive]

Abstract State Machines