Publisher
Springer International Publishing
Reference28 articles.
1. Lecture Notes in Computer Science;WMP Aalst van der,1997
2. Aho, A.V., Lam, M.S., Sethi, R., Ullman, J.D.: Compilers: Principles, Techniques, and Tools, 2nd edn. Addison-Wesley Longman Publishing Co. Inc., Boston (2006)
3. Both, A., Zimmermann, W.: Automatic protocol conformance checking of recursive and parallel BPEL systems. In: IEEE Sixth European Conference on Web Services (ECOWS 2008), pp. 81–91 (2008)
4. Bouajjani, A., Echahed, R., Habermehl, P.: Verifying infinite state processes with sequential and parallel composition. In: Proceedings of the 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 95–106. ACM (1995)
5. Dahl, O.J., Nygaard, K.: Simula: an algol-based simulation language. Commun. ACM 9(9), 671–678 (1966)