Author:
Durán Francisco,Rocha Camilo,Salaün Gwen
Publisher
Springer International Publishing
Reference22 articles.
1. Workflow resource patterns. BETA Working Paper Series, WP 127 (2004)
2. Signavio (2019). https://www.signavio.com
3. Agha, G., Meseguer, J., Sen, K.: PMaude: rewrite-based specification language for probabilistic object systems. ENTCS 153(2), 213–239 (2006)
4. Bouhoula, A., Jouannaud, J.-P., Meseguer, J.: Specification and proof in membership equational logic. Theor. Comput. Sci. 236(1), 35–132 (2000)
5. Clavel, M., et al.: Maude: specification and programming in rewriting logic. Theor. Comput. Sci. 285(2), 187–243 (2002)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献