Author:
Romero Miguel,Rocha Camilo
Publisher
Springer International Publishing
Reference24 articles.
1. Agha, G., Meseguer, J., Sen, K.: PMaude: rewrite-based specification language for probabilistic object systems. Electron. Notes Theor. Comput. Sci. 153(2), 213–239 (2006)
2. Barco, A., Knight, S., Valencia, F.D.: K-Stores: a spatial and epistemic concurrent constraint interpreter. In: 21st Workshop on Functional and Constraint Logic Programming (WFLP2012), Nagoya, Japan. Informal Proceedings (2012)
3. Lecture Notes in Computer Science;C Barrett,2011
4. Braga, C., Meseguer, J.: Modular rewriting semantics in practice. Electron. Notes Theor. Comput. Sci. 117, 393–416 (2005)
5. Bruni, R., Meseguer, J.: Semantic foundations for generalized rewrite theories. Theor. Comput. Sci. 360(1–3), 386–414 (2006)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献