Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Boström, P., Waldén, M.: Development of Fault Tolerant Grid Applications Using Distributed B. Integrated Formal Methods, 167-186 (2005)
2. Bassiliades, N., Anagnostopoulos, D., Vlahavas, I.: Web Service Composition Using a Deductive XML Rule Language. Distributed and Parallel Databases 17, 135–178 (2005)
3. van der Aalst, W.M.P.: Process-oriented architectures for electronic commerce and interorganizational workflow. Information Systems 24, 639–671 (1999)
4. Bacarin, E., van der Aalst, W.M.P., Madeira, E., Medeiros, C.B.: Towards Modeling and Simulating a Multi-party Negotiation Protocol with Colored Petri Nets. In: Jensen, K. (ed.) Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (CPN 2007), Aarhus, Denmark. DAIMI, vol. 584, pp. 29–48 (2007)
5. Lecture Notes in Computer Science;L. Gao,2005
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献