Author:
Diskin Zinovy,Maibaum Tom,Czarnecki Krzysztof
Publisher
Springer International Publishing
Reference27 articles.
1. Barr, M., Wells, C.: Category theory for computing science. Prentice Hall (1995)
2. Bernstein, P.A.: Applying model management to classical meta data problems. In: CIDR (2003)
3. Chechik, M., Nejati, S., Sabetzadeh, M.: A relationship-based approach to model integration. ISSE 8(1), 3–18 (2012)
4. Cockett, J.R.B., Koslowski, J., Seely, R.A.G.: Introduction to linear bicategories. Mathematical Structures in Computer Science 10(2), 165–203 (2000)
5. Corradini, A., Montanari, U.: An algebraic semantics for structured transition systems and its applications to logic programs. Theor. Comput. Sci. 103(1), 51–106 (1992)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Yoneda Hacking: The Algebra of Attacker Actions;ACM Transactions on Cyber-Physical Systems;2022-07-31
2. Categorical Semantics of Cyber-Physical Systems Theory;ACM Transactions on Cyber-Physical Systems;2021-07-31
3. Multi-Model Evolution through Model Repair.;The Journal of Object Technology;2021