Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

Montages (Enhanced)


Citation: Matthias Anlauff, Philipp W. Kutter and Alfonso Pierantonio, "Enhanced Control Flow Graphs in Montages", Proceedings of Perspectives of System Informatics (PSI'99), Springer LNCS, 1999.
Summary: A refined definition of Montages, based on finite state machines.
Subjects: Montages
Download: PostScript, PDF, compressed PostScript.
Notes: A refinement of the definition of Montages. (Courtesy of Springer-Verlag.)