Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. J. D. Brock and W. B. Ackerman. Scenarios: A model of non-determinate computation. In Formalization of Programming Concepts, volume 107 of Lecture Notes in Computer Science, pages 252–259. Springer-Verlag, 1981.
2. J. A. Bergstra and Gh. Ştefanescu. Network algebra for synchronous and asynchronous dataflow. Technical Report Logic Group Preprint No 122, Utrecht University Department of Philosophy, October 1994.
3. J. Bénabou. Introduction to bicategories. In Reports of the Midwest Category Seminar, volume 47 of Lecture Notes in Mathematics, pages 1–77. Springer-Verlag, 1967.
4. A. Carboni, S. Kasangian, and R. Street. Bicategories of spans and relations. Journal of Pure and Applied Algebra, 33:259–267, 1984.
5. A. Carboni and R. F. C. Walters. Cartesian bicategories I. Journal of Pure and Applied Algebra, 49:11–32, 1987.