Author:
Kasangian Stefano,Labella Anna,Montoli Andrea
Publisher
Springer Science and Business Media LLC
Subject
General Computer Science,Theoretical Computer Science,Algebra and Number Theory
Reference16 articles.
1. Bunge, M., Fiore, M.P.: Unique factorization lifting functors and categories of linearly-controlled processes. Math. Structures Comput. Sci. 10(2), 137–163 (2000)
2. Conduché, F.: Au sujet de l’existence d’adjoints à droîte aux foncteurs “image reciproque” dans la catégorie des catégories. C. R. Acad. Sci. Paris 275, A891–A894 (1972)
3. Eilenberg, S., Kelly, G.: Closed categories. In: Proc. of the Conference on Categorical Algebra, La Jolla 1965, pp. 421–562. Springer, New York (1966)
4. Fiore, M.P.: Fibered models of processes: discrete, continuous and hybrid systems. In: Proc. of IFIP TCS 2000, LNCS, vol. 1872, pp. 457–473 (2000)
5. Kasangian, S., Labella, A.: On continuous time agents. In: Mathematical Foundations of Programming Semantics, LNCS, vol. 598, pp. 403–425. Springer, Berlin (1992)