Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Adámek, J.: Limits and colimits in generalized algebraic categories. Czechoslovak Mathematical Journal 26, 55–64 (1976)
2. Barbosa, L.S.: Towards a Calculus of State-based Software Components. Journal of Universal Computer Science 9(8), 891–909 (2003)
3. Barbosa, L.S., Oliveira, J.N.: Transposing partial components: an exercise on coalgebraic refinement. Theor. Comp. Sci. 365(1-2), 2–22 (2006)
4. Lecture Notes in Computer Science;L.S. Barbosa,2008
5. Bird, R., Moor, O.: The Algebra of Programming. Series in Computer Science. Prentice Hall (1997)