1. Altintas, I., Berkley, C., Jaeger, E., Jones, M., Ludascher, B., Mock, S.: Kepler: an extensible system for design and execution of scientific workflows. In: Proceedings of the 16th International Conference on Scientific and Statistical Database Management, pp. 423–424 (2004)
2. Bergstra, J.A., Klop, J.W.: Acpτ: a universal axiom system for process specification. In: Wirsing, M., Bergstra, J.A. (eds.) Algebraic Methods: Theory, Tools and Applications, pp. 447–463. Springer, New York (1989)
3. Blizard, W.D.: Multiset theory. Notre Dame J. Form. Log. 30(1), 36–66 (1989)
4. Lecture Notes in Computer Science;L. Bocchi,2003
5. Bog, A., Puhlmann, F., Weske, M.: The PiVizTool: Simulating choreographies with dynamic binding. In: Adams, M., Sadiq, S.W. (eds.) BPM (Demos), CEUR-WS. org, CEUR Workshop Proceedings, vol. 272 (2007)