Typed Abstract State Machines for Data-Intensive Applications

Authors Klaus-Dieter Schewe
J. Zhao
Title Typed Abstract State Machines for Data-Intensive Applications
Type article
Journal Knowledge and Information Systems
Number 3
Volume 15
Year 2008
Pages 381-391