Author:
van Heerdt Gerco,Jacobs Bart,Kappé Tobias,Silva Alexandra
Publisher
Springer International Publishing
Reference11 articles.
1. Adámek, J., Rosický, J.: Locally Presentable and Accessible Categories. Cambridge University Press, Cambridge (1994)
2. Angluin, D.: Learning regular sets from queries and counterexamples. Inf. Comput. 75(2), 87–106 (1987)
3. Arbib, M.A., Manes, E.G.: Adjoint machines, state-behavior machines, and duality. J. Pure Appl. Algebra 6(3), 313–344 (1975)
4. Baier, C., Sirjani, M., Arbab, F., Rutten, J.J.M.M.: Modeling component connectors in reo by constraint automata. Sci. Comput. Program. 61(2), 75–113 (2006).
https://doi.org/10.1016/j.scico.2005.10.008
5. Barr, M., Wells, C.: Toposes, Triples and Theories. Springer, Berlin (1985). Revised and corrected version available from
www.cwru.edu/artsci/math/wells/pub/ttt.html
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献