Publisher
Springer Science and Business Media LLC
Subject
Modeling and Simulation,Software
Reference53 articles.
1. Abramsky, S.: What are the fundamental structures of concurrency? We still don’t know! (2014). arxiv:1401.4973
2. Adámek, J., Milius, S., Velebil, J.: Elgot algebras. Log. Methods Comput. Sci. (2006). https://doi.org/10.2168/LMCS-2(5:4)2006
3. Baez, J.C., Courser, K.: Structured cospans. arXiv:1911.04630 (2019)
4. Bénabou, J.: Introduction to bicategories. In: Reports of the Midwest Category Seminar. Springer, pp. 1–77 (1967)
5. Benton, N., Hyland, M.: Traced premonoidal categories. RAIRO Theor. Inform. Appl. 37(4), 273–299 (2003). https://doi.org/10.1051/ita:2003020