A Coalgebraic Calculus for Component Based Systems

S. Meng and B. K. Aichernig

Abstract:

Reference: S. Meng and B. K. Aichernig. A Coalgebraic Calculus for Component Based Systems. In Proceedings of FACS'03, Workshop on Formal Aspects of Component Software, Satellite Workshop of the FM 2003, Pisa, Italy, September 8-9, 2003, 2003.