Author:
Kirchberg Markus,Schewe Klaus-Dieter,Zhao Jane
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Beeri, C., Bernstein, P.A., Goodman, N.: A model for concurrency in nested transactions systems. Journal of the ACM 36(2), 230–269 (1989)
2. Börger, E.: The ASM ground model method as a foundation for requirements engineering. In: Verification: Theory and Practice, pp. 145–160 (2003)
3. Börger, E.: The ASM refinement method. Formal Aspects of Computing 15, 237–257 (2003)
4. Börger, E., Stärk, R.: Abstract State Machines. Springer, Heidelberg (2003)
5. Del Castillo, G., Gurevich, Y., Stroetmann, K.: Typed abstract state machines (1998), http://research.microsoft.com/~gurevich/Opera/137.pdf
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献