Author:
Ali Muhammad Rizwan,Pun Violet Ka I
Publisher
Springer International Publishing
Reference26 articles.
1. van der Aalst, W.M.: The application of Petri nets to workflow management. J. Circuits, Syst. Comput. 8(01), 21–66 (1998)
2. van der Aalst, W.M.: Loosely coupled interorganizational workflows: modeling and analyzing workflows crossing organizational boundaries. Inf. Manag. 37(2), 67–75 (2000)
3. Abouzaid, F.: A mapping from pi-calculus into BPEL. Front. Artif. Intell. Appl. 143, 235 (2006)
4. Agha, G.A.: Actors: A Model of Concurrent Computation in Distributed Systems. Tech. rep, Massachusetts Inst of Tech Cambridge Artificial Intelligence Lab (1985)
5. Albert, E., Arenas, P., Genaim, S., Puebla, G.: Closed-form upper bounds in static cost analysis. J. Autom. Reason. 46(2), 161–203 (2011)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献