Typed Abstract State Machines for data-intensive applications

Klaus-Dieter Schewe, Jane Zhao. Typed Abstract State Machines for data-intensive applications. Knowl. Inf. Syst., 15(3):381-391, 2008. [doi]

Abstract

Abstract is missing.