Typed Abstract State Machines for Data-Intensive Applications

Author(s)	Klaus-Dieter Schewe J. Zhao
Title	Typed Abstract State Machines for Data-Intensive Applications
Typ	Article
Year	2008
Journal	Knowledge and Information Systems
Volume	15
Pages	381-391
Number	3