A coalgebraic calculus for component based systems (0)

by S Meng, B K Aichernig
Venue:In Proceedings of FACS’03, Workshop on Formal Aspects of Component Software, Satellite Workshop of the FM