Author:
Kossak Felix,Illibauer Christa,Geist Verena,Kubovy Jan,Natschläger Christine,Ziebermayr Thomas,Kopetzky Theodorich,Freudenthaler Bernhard,Schewe Klaus-Dieter
Publisher
Springer International Publishing
Reference13 articles.
1. Blass, A., Gurevich, Y.: Abstract state machines capture parallel algorithms. ACM Transactions on Computational Logic 4(4), 578–651 (2003)
2. Blass, A., Gurevich, Y.: Abstract state machines capture parallel algorithms: Correction and extension. ACM Transactions on Computational Logic 9(3), 1–32 (2008)
3. Börger, E., Rosenzweig, D.: A mathematical definition of full Prolog. Science of Computer Programming 24, 249–286 (1995)
4. Börger, E., Cavarra, A., Riccobene, E.: An asm semantics for uml activity diagrams. In: Rus, T. (ed.) Algebraic Methodology and Software Technology, Lecture Notes in Computer Science, vol. 1816, pp. 293–308. Springer Berlin Heidelberg (2000),
http://dx.doi.org/10.1007/3-540-45499-3_22
5. Börger, E., Sörensen, O.: BPMN core modeling concepts: Inheritance-based execution semantics. In: Embley, D.W., Thalheim, B. (eds.) Handbook of Conceptual Modeling: Theory, Practice and Research Challenges, pp. 287–335. Springer, Berlin, Heidelberg (2011)