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
Reference36 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.: Approaches to modeling business processes: a critical analysis of BPMN, workflow patterns and YAWL. Software & Systems Modeling 11(3), 305–318 (2012),
http://dx.doi.org/10.1007/s10270-011-0214-z
5. 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