Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. M. Barr. Terminal coalgebras in well-founded set theory. Theoret. Comput. Sci., 114:299–315, 1993.
2. M. Bidoit, R. Hennicker, and M. Wirsing. Behavioural and Abstractor Specifications. Science of Computer Programming, 25:146–186, 1995.
3. A. Corradini. A Complete Calculus for Equational Deduction in Coalgebraic Specification. Technical Report SEN-R9723, CWI, Amsterdam, 1997.
4. U. Hensel and H. Reichel. Defining equations in terminal coalgebras. In E. Astesiano, G. Reggio, and A. Tarlecki, editors, Recent Trends in Data, Type Specification, volume 906 of LNCS, pages 307-318. Springer Verlag, 1995.
5. U. Hensel and D. Spooner. A view on implementing processes: Categories of circuits. In M. Haveraaen, O. Owe, and O. Dahl, editors, Recent Trends in Data Types Specification, volume 1130 of LNCS, pages 237–255. Springer Verlag, 1995.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献